aboutsummaryrefslogtreecommitdiff
path: root/theories/Bool
AgeCommit message (Expand)Author
2002-06-20ZArith_base, Zbool, Bool_natfilliatr
2002-05-06Standardisationherbelin
2002-04-17Uniformisation (Qed/Save et Implicits Arguments)herbelin
2002-03-04Nouveau Rewrite-in plus economiquebarras
2002-02-28Ajout andb_true_eq pour PolyList.list_beqherbelin
2002-02-14option -dump-glob pour coqdocfilliatr
2001-09-27Simplification de deux preuves. En outre ca simplifie leur extraction.letouzey
2001-08-29ajout option , Exc --> option, et lemmes dans les theoriesmohring
2001-08-05Expérimentation de NewDestruct et parfois NewInductionherbelin
2001-04-20Library doc adjustments (until page 140)coq
2001-04-19BoolEq.v, une egalite generique a valeur dans boolmohring
2001-04-19Mise de (*i autour CVS infomohring
2001-04-11documentation automatique de la bibliothèque standardfilliatr
2001-03-30Ajout de lemmes sur les booleensmohring
2001-03-15entetesfilliatr
2001-02-01- coqc : option -imagefilliatr
2000-11-28Elimination du 'delahaye
2000-11-05Plus besoin de débrancher la preuve qui ne passait pasherbelin
2000-05-22Séparation des tokens -> et ~herbelin
2000-05-03Ajout du langage de tactiquesdelahaye
2000-05-02portage Omega (mais toujours pas Zpower et Zlogarithm)filliatr
2000-03-16mise sous CVSfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:49:02 +0000