| Age | Commit message (Expand) | Author |
|---|---|---|
| 2003-04-16 | sumboolT, sumorT, sigTT, SigT redondants | herbelin |
| 2003-04-12 | Open Scope en Local | herbelin |
| 2003-04-10 | Remplacement Import par Open Scope en v8 | herbelin |
| 2003-04-09 | Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import". | herbelin |
| 2003-03-12 | *** empty log message *** | barras |
| 2002-06-21 | Export Sumbool dans ProbBool; Reals charge et exporte ZArith_base seulement | filliatr |
| 2002-06-20 | *** empty log message *** | desmettr |
| 2002-02-14 | option -dump-glob pour coqdoc | filliatr |
| 2001-04-19 | Changement syntax pour Rinv | mayero |
| 2001-03-15 | entetes | filliatr |
| 2001-01-25 | Modif de l'axiomatisation pour enlever les /\ de _ne | mayero |
| 2001-01-11 | Mise a jour Rbase | mohring |
| 2000-11-23 | Ajout d'une syntaxe pour Reals. | mayero |
| 2000-07-04 | correction | mayero |
| 2000-07-03 | ajouts | mayero |
| 2000-06-21 | theories/Reals | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |