coq - The formal proof system

Age	Commit message (Expand)	Author
2001-10-24	Suppression de Logic_Type.sigT, redondant avec Specif.sigT	herbelin
2001-09-27	and_rec redondant	letouzey
2001-09-20	Transparent	barras
2001-09-19	Deplacement des setoides.	clrenard
2001-09-18	Modification de l'emplacement des fichiers pour les setoides.	clrenard
2001-08-30	Fin de la modif Exc/option	mohring
2001-08-29	ajout option , Exc --> option, et lemmes dans les theories	mohring
2001-08-05	Expérimentation de NewDestruct et parfois NewInduction	herbelin
2001-05-29	Correction d'un bug du pretty-print	clrenard
2001-05-15	Modification pour passage p-automates	mohring
2001-04-11	documentation automatique de la bibliothèque standard	filliatr
2001-03-30	Introduction d'une preuve de False_rec	mohring
2001-03-15	entetes	filliatr
2000-12-21	Bug d'affichage à cause des << ... >>	herbelin
2000-11-21	separation calcul des implicites et declaration des constantes / inductifs / ...	filliatr
2000-11-20	Bug dans la règle de syntaxe de ex2	herbelin
2000-11-07	Modification de la table des tactic Definitions pour eviter l'ecriture	mohring
2000-11-07	Changement/extension dans les noms de parseurs de Grammar	herbelin
2000-10-18	Parsing des motifs de Syntax avec la grammaire associée à l'univers de la d...	herbelin
2000-07-28	Plus de piquants dans les actions des grammaires; nom de la grammaire pris co...	herbelin
2000-04-30	Bug affichage Error et Value	herbelin
2000-03-10	t -> $t dans regle grammaire EX	filliatr
2000-01-21	gros commit de tout ce que j'ai fait pendant les vacances :	filliatr
2000-01-07	Renommage command en constr	herbelin
1999-12-16	erreurs de syntax :$	filliatr
1999-12-13	- méthode load sur les Hints	filliatr
1999-12-13	fichiers prelude Coq	filliatr