]>
2006-07-22 | Enrico Tassi | matitaprover | blob | commitdiff | raw |
2006-07-10 | Enrico Tassi | improved coercions support: | blob | commitdiff | raw | diff to current |
2006-06-09 | Claudio Sacerdoti... | 1. the default for the default equality/absurd/true... | blob | commitdiff | raw | diff to current |
2006-05-25 | Claudio Sacerdoti... | Axioms are not allowed with the syntax: "axiom name... | blob | commitdiff | raw | diff to current |
2006-04-14 | Enrico Tassi | duplicate check for coercions when added to Db | blob | commitdiff | raw | diff to current |
2006-03-13 | Enrico Tassi | Huge commit for the release. Includes: | blob | commitdiff | raw | diff to current |
2006-03-10 | marangon | Added inversion principle creation for inductive predic... | blob | commitdiff | raw | diff to current |
2006-02-15 | Enrico Tassi | added support for "polymorphic" coercions | blob | commitdiff | raw | diff to current |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |