]>
2011-11-14 | Andrea Asperti | Assert false is no longer true due to tooflex filtering. | blob | commitdiff | raw |
2011-11-14 | Andrea Asperti | Too flexible terms are pruned. | blob | commitdiff | raw | diff to current |
2011-10-28 | Andrea Asperti | New management of resulting subst in deep_eq: used... | blob | commitdiff | raw | diff to current |
2011-09-21 | matitaweb | 1) removed many debug prints | blob | commitdiff | raw | diff to current |
2011-02-21 | Wilmer Ricciotti | fork for Matita version B | blob | commitdiff | raw | diff to current |