]>
2007-01-17 | Claudio Sacerdoti... | CoRN (new version) has been committed by Andrea in... | blob | commitdiff | raw |
2006-10-12 | Claudio Sacerdoti... | Inclusion "improved". | blob | commitdiff | raw |
2006-10-12 | acciavat | Manual porting of CoRN to Matita. | blob | commitdiff | raw | diff to current |