Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Adding documentation for a variant of Inversion, where a numeric argument, | bertot | 2001-10-09 | |
* | MAJ Intro + divers | herbelin | 2001-10-02 | |
* | Diverses MAJ V7.1 autour des qualid | herbelin | 2001-09-21 | |
* | Documentation NewInduction, NewDestruct, LetTac, Assert | herbelin | 2001-09-14 | |
* | Fourier, Reals,... | mayero | 2001-04-24 | |
* | Ajout d'une ref pour Field | delahaye | 2001-04-23 | |
* | Ajout de Field | delahaye | 2001-04-23 | |
* | Changement de Zarith en ZArith | mohring | 2001-04-19 | |
* | Intros Pattern wildcard | mohring | 2001-04-12 | |
* | MAJ decompose | herbelin | 2001-04-10 | |
* | Revision Tauto, AutoRewrite + Ajout de Ltac | delahaye | 2001-04-08 | |
* | mise a jour V7 | filliatr | 2001-04-06 | |
* | mise a jour V7 | filliatr | 2001-04-06 | |
* | Initial revision | filliatr | 2000-12-12 |