aboutsummaryrefslogtreecommitdiff
path: root/theories/Wellfounded
AgeCommit message (Expand)Author
2003-11-29Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...herbelin
2003-10-03Cacher les .v8herbelin
2003-09-23Remplacement de Induction/Destruct par NewInduction/NewDestructherbelin
2003-05-09ajout inverse relation bien fondeemohring
2003-03-12*** empty log message ***barras
2002-11-24Remplacement de Syntactic Definition par Notationherbelin
2002-04-17Uniformisation (Qed/Save et Implicits Arguments)herbelin
2002-02-14option -dump-glob pour coqdocfilliatr
2001-08-05Expérimentation de NewDestruct et parfois NewInductionherbelin
2001-04-20Library doc adjustments (until page 140)coq
2001-04-19remplace Zarith par ZArithmohring
2001-04-11documentation automatique de la bibliothèque standardfilliatr
2001-03-15entetesfilliatr
2001-02-14Renommage des variables dans les schémas d'inductionherbelin
2000-11-27Changement du parseur par défaut dans Syntaxherbelin
2000-11-21Nettoyageherbelin
2000-11-21ajout de theories/Wellfoundedfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 22:16:38 +0000