]>
2002-04-18 | Claudio Sacerdoti... | * Many improvements | tree | commitdiff |
2002-04-16 | Claudio Sacerdoti... | * Many improvements | tree | commitdiff |
2002-04-16 | Claudio Sacerdoti... | Added the possibility to select parts of the goal of... | tree | commitdiff |
2002-04-16 | Claudio Sacerdoti... | Removed the patch to avoid a bug of gmetadom. | tree | commitdiff |
2002-04-16 | Claudio Sacerdoti... | ... | tree | commitdiff |
2002-04-16 | Claudio Sacerdoti... | proofEngineReduction.ml added | tree | commitdiff |
2002-04-08 | Claudio Sacerdoti... | During the computation of the inner-type of a LAMBDA... | tree | commitdiff |
2002-04-08 | Claudio Sacerdoti... | * Many improvements | tree | commitdiff |
2002-04-05 | Claudio Sacerdoti... | * Many improvements. | tree | commitdiff |
2002-04-02 | Claudio Sacerdoti... | First commit of our future proof-assistant/proof-improv... | tree | commitdiff |