]>
2005-06-07 | Enrico Tassi | added test for coercions | blob | commitdiff | raw |
2005-04-27 | Stefano Zacchiroli | removed all old matita files (kept in attic) | blob | commitdiff | raw |
2005-02-01 | Enrico Tassi | fixed coercions | blob | commitdiff | raw | diff to current |