]>
2010-11-26 | Andrea Asperti | - GREAT: when unifying ?1 : Type[i] with ?2: Type... | blob | commitdiff | raw |
2010-11-25 | Claudio Sacerdoti... | New behaviour of fo_unif: in case of ?f args == t... | blob | commitdiff | raw | diff to current |
2010-11-19 | Andrea Asperti | Implementation of proof irrelevance finished. | 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 |