aboutsummaryrefslogtreecommitdiff
path: root/contrib/fourier
AgeCommit message (Expand)Author
2003-11-29Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...herbelin
2003-11-02Protection contre les buts sans inegaliteherbelin
2003-10-19Extension de l'utilisation de contradictionherbelin
2003-10-16Branchement sur RIneqherbelin
2003-10-03Cacher les .v8herbelin
2003-05-19Renommage CMeta en CPatVar qui sert à saisir les PMeta de Patternherbelin
2003-03-31Noms absolusherbelin
2002-12-09Ajout Simpl et Change sur des sous-termesherbelin
2002-11-14Réforme de l'interprétation des termes :herbelin
2002-08-02Modules dans COQ\!\!\!\!coq
2002-06-03Protection des tactiques contre l'utilisation sans le bon contexte de thoriesherbelin
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2002-05-29Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.vherbelin
2002-04-19un thm de plus dans Zdiv; un retour chariot apres un message de la tactique F...filliatr
2001-11-05GROS COMMIT:barras
2001-10-09Suppression des arguments sur les constantes, inductifs et constructeursbarras
2001-05-07integration de field a fouriermayero
2001-04-20Ajout Fouriermayero
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 00:02:16 +0000