]>
2002-11-02 | Matteo Selmi | Corrected some wrong paths |
commit | commitdiff | tree |
2002-11-02 | Matteo Selmi | Corrected some wrong paths |
commit | commitdiff | tree |
2002-10-30 | Matteo Selmi | Correct errors due to a different form of LAMBDA |
commit | commitdiff | tree |
2002-10-30 | Matteo Selmi | Written particular uses of induction and corrected... |
commit | commitdiff | tree |
2002-10-30 | Matteo Selmi | Correct CurrentProof |
commit | commitdiff | tree |
2002-10-30 | Matteo Selmi | Correct CurrentProof |
commit | commitdiff | tree |
2002-10-24 | Matteo Selmi | Modified some wrong paths |
commit | commitdiff | tree |
2002-10-24 | Matteo Selmi | Written function that produce the variable "ConstantTypeUrl... |
commit | commitdiff | tree |
2002-10-22 | Matteo Selmi | - removed checkings for objects Definition and Axiom. |
commit | commitdiff | tree |
2002-10-10 | Matteo Selmi | New DTD for the new exportation procedure. |
commit | commitdiff | tree |