]> matita.cs.unibo.it Git - fireball-separation.git/history - ocaml/problems/w
Fixed eta_compare in the case Lam vs. Bot
[fireball-separation.git] / ocaml / problems / w
2017-07-24 acondoluCleanup in w, added names, uncommented test for low...
2017-07-16 acondoluCommented out problem, it is (still) failing because...
2017-07-15 acondoluImproved parsing
2017-07-15 acondoluAdded problem wrongly backtracking
2017-07-15 acondoluImportant: added special variable "Z" for zero.
2017-07-15 acondoluMoved all problems in problems folder. Last ones in "w"