]>
2011-06-22 | Claudio Sacerdoti... | Possible assert false case implemented | blob | commitdiff | raw |
2011-06-01 | Claudio Sacerdoti... | Delift used to produce not well typed substitutions... | blob | commitdiff | raw | diff to current |
2011-01-11 | Claudio Sacerdoti... | HUGE COMMIT: | blob | commitdiff | raw | diff to current |
2010-10-17 | Enrico Tassi | backport of patches to unification | blob | commitdiff | raw | diff to current |
2010-09-30 | Enrico Tassi | sync with stable: | blob | commitdiff | raw | diff to current |
2010-09-30 | Claudio Sacerdoti... | Stuff moved from old Matita. | blob | commitdiff | raw | diff to current |