5 Коміти (c6a2eb583de14dc2e81e2521efd4a49e99002846)

Автор SHA1 Повідомлення Дата
  JosuaKugler c6a2eb583d hopefully fixed everything, added .out files to gitignore 5 роки тому
  JosuaKugler 9a1c35636b minor changes, added hyperref 5 роки тому
  flavis f72d654cba fix lemma numbering 5 роки тому
  flavis 1b374e0f61 move from article to book, improve headers 5 роки тому
  flavis a110be47da add ana2 5 роки тому