coq - The formal proof system

Age	Commit message (Expand)	Author
2003-11-29	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin
2003-11-14	Automatisation de la traduction de iff_trans; renommage IF	herbelin
2003-10-22	reorganisation des niveaux (ex: = est a 70)	barras
2003-10-21	Maintenant avant Datatypes	herbelin
2003-10-17	Des implicites plus 'naturels' pour eq_ind, identity_ind and co	herbelin
2003-10-14	Changement 'as notation' en 'where notation'	herbelin
2003-10-11	mise a jour nouvelle syntaxe	barras
2003-10-10	type_scope	herbelin
2003-09-23	Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...	herbelin
2003-05-21	Concentration des notations officielles dans Init/Notations; restructuration ...	herbelin
2003-04-09	Activation des implicites pour la v8	herbelin
2003-03-29	eq fusionne avec eqT et devient par défaut sur Type,	herbelin
2002-11-24	Généralisation de l'utilisation de Notation	herbelin
2002-02-14	option -dump-glob pour coqdoc	filliatr
2002-01-29	modification de la definition des def inductives unitaires et autorisation d'...	mohring
2002-01-09	MAJ des Id pour coqweb	herbelin
2001-11-14	Suppression d'Export redondants	herbelin
2001-09-20	Transparent	barras
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-03-15	entetes	filliatr
2000-11-21	separation calcul des implicites et declaration des constantes / inductifs / ...	filliatr
1999-12-13	fichiers prelude Coq	filliatr