]>
2015-09-05 | Ferruccio Guidi | last comment was incomplete by mistake. | blob | commitdiff | raw |
2015-09-05 | Ferruccio Guidi | - New attribute `Implied put beside `Generated and... | blob | commitdiff | raw | diff to current |
2011-10-18 | Wilmer Ricciotti | Changes in "destruct" tactic (allowing performance... | blob | commitdiff | raw | diff to current |
2011-01-11 | Claudio Sacerdoti... | HUGE COMMIT: | blob | commitdiff | raw | diff to current |
2010-10-26 | Andrea Asperti | cic module removed (RIP) | blob | commitdiff | raw | diff to current |
2010-09-30 | Claudio Sacerdoti... | Stuff moved from old Matita. | blob | commitdiff | raw | diff to current |