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	Quelques oublis pour que les notations marchent bien	herbelin
2003-11-13	Oubli report Nul/Pos	herbelin
2003-11-12	Restructuration ZArith	herbelin
2003-11-07	Oubli BinNat	herbelin
2003-11-06	Report des definitions sorties de fast_integer pour compatibilite	herbelin
2003-11-05	Restructuration ZArith et déport de la partie sur 'positive' dans NArith, de...	herbelin
2003-10-28	Retour en arriere sur d'autres renommages de variables	herbelin
2003-10-27	Retour a un nommage non standard des variables pour compatibilite; report 're...	herbelin
2003-10-22	Documentation/Structuration	herbelin
2003-10-22	reorganisation des niveaux (ex: = est a 70)	barras
2003-10-21	Type relation dans Datatypes	herbelin
2003-10-16	Suppression des surcharge de regles de grammaire en v7	herbelin
2003-10-10	Plus d'Eval Compute	herbelin
2003-10-01	Retour sur la version non optimisee de 'add' pour compatibilite; renommage Un...	herbelin
2003-09-26	'Open Local Scope' en attendant que le core_scope sache se mettre devant impl...	herbelin
2003-09-26	Structuration de fast_integer en operations sur positive, proprietes des oper...	herbelin
2003-09-25	Retour provisoire a une section	herbelin
2003-09-24	Suppression section, ce qui evite de repliquer les declarations d'Infix	herbelin
2003-09-22	Deplacement de lemmes de IntMap vers ZArith	herbelin
2003-09-19	Section et report Infix hors section	herbelin
2003-09-19	Mise en place des V8Notation et V8Infix pour declarer des notations en v8 mem...	herbelin
2003-09-12	Bind et Delimit pour positive et Z (hors section)	herbelin
2003-06-14	Deplacement de le_minus de fast_integer vers Minus	herbelin
2003-06-13	Deplacement d'un lemme sur nat de ZArith vers Arith	herbelin
2003-03-21	* empty log message *	barras
2003-03-12	* empty log message *	barras
2002-12-10	Compatibilite times1 (suite)	herbelin
2002-12-09	Nouvelle preuve de times_convert pour nouvelle définition de times	herbelin
2002-12-07	Compatibilité times1	herbelin
2002-12-06	Un axiome en attendant la mise a jour de la preuve de times_convert	herbelin
2002-12-06	Amélioration sensible de l'efficacité de la multiplication	herbelin
2002-04-17	Uniformisation (Qed/Save et Implicits Arguments)	herbelin
2002-02-14	option -dump-glob pour coqdoc	filliatr
2001-08-05	Expérimentation de NewDestruct et parfois NewInduction	herbelin
2001-04-19	remplace Zarith par ZArith	mohring