]>
2005-06-08 | Claudio Sacerdoti... | Let's try to make the "let rec" construct infer its... | blob | commitdiff | raw |
2005-06-08 | Claudio Sacerdoti... | Syntax for top-level "let rec" fixed. | blob | commitdiff | raw | diff to current |
2005-06-07 | Enrico Tassi | added test for coercions | blob | commitdiff | raw | diff to current |
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 |