Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Repercussion de la possibilit de mettre des hyps quantifiees dans Simplify_eq... | 2002-06-05 | |
* | Rpercussion de la possibilit de mettre des hyps quantifies dans Simplify_eq e... | 2002-06-05 | |
* | Fichiers tactics/*.ml4 remplacent les tactics/*.v | 2002-05-29 |