]>
2005-10-25 | Claudio Sacerdoti... | Parentheses must now be put in patterns like in tactic... | blob | commitdiff | raw |
2005-10-25 | Enrico Tassi | fixed -debug | blob | commitdiff | raw | diff to current |
2005-10-25 | Claudio Sacerdoti... | ... | blob | commitdiff | raw |
2005-10-17 | Enrico Tassi | added coercions to Prod | blob | commitdiff | raw | diff to current |
2005-09-27 | Andrea Asperti | New entry: fermat's little theorem (almost complete). | blob | commitdiff | raw | diff to current |
2005-09-05 | Claudio Sacerdoti... | LAMBDA-TYPES moved under contrib, fixed (to use the... | blob | commitdiff | raw | diff to current |