]>
2002-07-01 | Stefano Zacchiroli | - added Ring tactic on reals | blob | commitdiff | raw |
2002-07-01 | Stefano Zacchiroli | bug fix: handled LetIn case in simpl | blob | commitdiff | raw | diff to current |
2002-06-12 | Claudio Sacerdoti... | * Abst removed from the DTD | blob | commitdiff | raw | diff to current |
2002-05-28 | Claudio Sacerdoti... | * Bug fixed: syntactic equality for CIC term (which... | blob | commitdiff | raw | diff to current |
2002-05-20 | Claudio Sacerdoti... | Many many improvements: | blob | commitdiff | raw | diff to current |
2002-05-08 | Claudio Sacerdoti... | Experimental commit: definitions are now allowed in... | blob | commitdiff | raw | diff to current |
2002-04-19 | Claudio Sacerdoti... | Debugging stuff removed. | blob | commitdiff | raw | diff to current |
2002-04-18 | Claudio Sacerdoti... | * Many improvements | blob | commitdiff | raw | diff to current |
2002-04-16 | Claudio Sacerdoti... | proofEngineReduction.ml added | blob | commitdiff | raw | diff to current |