aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Logic
Commit message (Expand)AuthorAge
...
* Prise en compte des dependances dans la tactique CaseGravatar mohring2002-03-26
* option -dump-glob pour coqdocGravatar filliatr2002-02-14
* Protection des commentaires pour coqtex et coqwebGravatar herbelin2001-08-13
* Expérimentation de NewDestruct et parfois NewInductionGravatar herbelin2001-08-05
* Ajout du paradoxe de Berardi dans Logic (preuve que EM => PI dans CCI)Gravatar barras2001-06-18
* Mise de (*i autour CVS infoGravatar mohring2001-04-19
* Ajout de l'egalite de John MajorGravatar mohring2001-04-12
* documentation automatique de la bibliothèque standardGravatar filliatr2001-04-11
* Ajout lemmes arithmetiquesGravatar mohring2001-04-08
* entetesGravatar filliatr2001-03-15
* Renommage des variables dans les schémas d'inductionGravatar herbelin2001-02-14
* caractere opaque des constantes repris en compteGravatar filliatr2000-12-04
* Un usage en moins de l'axiome eq_rec_eqGravatar herbelin2000-10-06
* Commit malencontreux sur précédente versionGravatar herbelin2000-10-04
* Mise en conformité nouveau Simpl pour FixGravatar herbelin2000-10-04
* Eqdep_dec retrouve ses noms d'origine grace au nouvel Reduction.instance util...Gravatar herbelin2000-03-21
* Syntactic Definition n'etaient pas correctemenet importeesGravatar filliatr2000-03-16
* *** empty log message ***Gravatar barras2000-03-10
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-15 13:12:35 +0000