coq - The formal proof system

Age	Commit message (Expand)	Author
2002-05-29	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin
2002-05-22	Correction of a bug in Intuition (no more decomposition of dependent pairs).	corbinea
2002-02-14	- Reforme de la gestion des args recursifs (via arbres reguliers)	barras
2001-11-05	GROS COMMIT:	barras
2001-10-11	Suppression option immediate_discharge; nettoyage de Declare et conséquences	herbelin
2001-09-13	eclaircissement du code	courant
2001-03-15	entetes	filliatr
2001-02-14	Centralisation des références à des globaux de Coq dans Coqlib (ex-Stdlib)...	herbelin
2000-11-02	suppression des (* open Generic *)	filliatr
2000-10-06	Correction incompatibilites dans la fn des types des inductifs	herbelin
2000-10-01	Renommage AppL en App	herbelin
2000-09-14	Abstraction de constr	herbelin
2000-09-10	Correction pour make doc	herbelin
2000-09-10	Ajout d'un LetIn primitif.	herbelin
2000-06-15	Code mort	herbelin
2000-05-31	Nettoyage de Generic;Suppression des DLAM en tête des listes de constructeurs	herbelin
2000-05-18	Effets de bords suite à la restructuration des inductives (cf Inductive)	herbelin
2000-05-03	Ajout get_reference	herbelin
2000-05-02	Divers	herbelin
2000-04-30	Suite intégration de constr_pattern	herbelin
2000-04-28	Decoupage de tactics/pattern en proofs/pattern et tactics/hipattern	herbelin