| Age | Commit message (Expand) | Author |
|---|---|---|
| 2002-04-12 | doc Intuition et Tauto | courant |
| 2002-04-11 | Ajout Rename et Pose | herbelin |
| 2002-03-01 | Quelques pr�cisions sur la convertibilit� et les tactiques Cbv/Lazy | herbelin |
| 2001-12-23 | Ajout ClearBody et Assert H:=t | herbelin |
| 2001-10-15 | Ajout fonctionnalit� Intros Until de Injection, Discriminate et Simplify_eq | herbelin |
| 2001-10-09 | Adding documentation for a variant of Inversion, where a numeric argument, | bertot |
| 2001-10-02 | MAJ Intro + divers | herbelin |
| 2001-09-21 | Diverses MAJ V7.1 autour des qualid | herbelin |
| 2001-09-14 | Documentation NewInduction, NewDestruct, LetTac, Assert | herbelin |
| 2001-04-24 | Fourier, Reals,... | mayero |
| 2001-04-23 | Ajout d'une ref pour Field | delahaye |
| 2001-04-23 | Ajout de Field | delahaye |
| 2001-04-19 | Changement de Zarith en ZArith | mohring |
| 2001-04-12 | Intros Pattern wildcard | mohring |
| 2001-04-10 | MAJ decompose | herbelin |
| 2001-04-08 | Revision Tauto, AutoRewrite + Ajout de Ltac | delahaye |
| 2001-04-06 | mise a jour V7 | filliatr |
| 2001-04-06 | mise a jour V7 | filliatr |
| 2000-12-12 | Initial revision | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |