projects / helm.git / search
| 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 |