matita.cs.unibo.it Git - fireball-separation.git/history

]> matita.cs.unibo.it Git - fireball-separation.git/history - macros.tex

2018-07-28	acondolu	Proved another lemma (aux1 + aux2) latex	blob \| commitdiff \| raw
2018-07-27	acondolu	Working on the conservation of eta inequality, seems...	blob \| commitdiff \| raw \| diff to current
2018-07-17	acondolu	Almost complete proof of Lemma 2	blob \| commitdiff \| raw \| diff to current
2018-07-16	acondolu	Prime definizioni, verso prova correttezza nostro algoritmo	blob \| commitdiff \| raw \| diff to current
2018-05-29	acondolu	Added strong calculus for separation, plus some ac...	blob \| commitdiff \| raw \| diff to current
2018-05-29	acondolu	Added AC's local stub of a report on strong separation	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.