coq - The formal proof system

Age	Commit message (Expand)	Author
2006-09-26	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras
2006-05-28	- Déplacement des types paramétriques prod, sum, option, identity,	herbelin
2006-05-11	Duplication du fichier FSetProperties pour les ensembles Weak.	letouzey
2004-11-16	Copy of the definition of prodT (already in the standard library) removed.	sacerdot
2004-10-19	Proof term size reduction (again).	sacerdot
2004-10-18	* Code simplification and clean-up. In particular there is no more code	sacerdot
2004-10-07	iff and impl are now declared as transitive relations.	sacerdot
2004-10-06	* New syntactic sugar: Add Relation ... transitivity proved by ...	sacerdot
2004-10-06	added transitivity	barras
2004-09-29	impl is a reflexive relation (it used to be areflexive).	sacerdot
2004-09-29	impl relation and impl/and/or/not morphisms over impl declared.	sacerdot
2004-09-08	* cleaning/renaming	sacerdot
2004-09-08	The Coq part of the reflexive tactic is now able to handle also	sacerdot
2004-09-07	* The Coq part of the reflexive tactic setoid_rewrite is generalized to	sacerdot
2004-09-03	New reflexive implementation of setoid_rewrite. The new implementation	sacerdot
2004-07-16	Nouvelle en-tête	herbelin
2003-11-29	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin
2002-05-29	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin
2002-04-17	Uniformisation (Qed/Save et Implicits Arguments)	herbelin
2002-01-09	MAJ des Id pour coqweb	herbelin
2001-09-19	Deplacement des setoides.	clrenard