coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix dependency bugs due to Program modules renamings.	msozeau	2007-08-08
*	Move Program tactics into a proper theories/ directory as they are general pu...	msozeau	2007-08-07
*	Modification des propriétés (svn:executable)	notin	2006-03-17
*	Nouveau fichier Tactics.v collectant les tactiques utiles des utilisateurs	herbelin	2005-02-03
*	Nouvelle en-tête	herbelin	2004-07-16
*	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin	2003-11-29
*	Ordre (symbolique) des Require	herbelin	2003-10-28
*	Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...	herbelin	2003-09-23
*	Suppression DatatypesSyntax et PeanoSyntax qui était vides	herbelin	2003-09-12
*	Deplacement delimiteur T dans Notations	herbelin	2003-06-10
*	Concentration des notations officielles dans Init/Notations; restructuration ...	herbelin	2003-05-21
*	Essai d'introduction d'un scope des types	herbelin	2002-12-03
*	Mise en place d'ensembles de notations symboliques pour nat, Z et R	herbelin	2002-10-13
*	MAJ des Id pour coqweb	herbelin	2002-01-09
*	entetes	filliatr	2001-03-15
*	fichiers prelude Coq	filliatr	1999-12-13