coq - The formal proof system

Age	Commit message (Expand)	Author
2003-11-13	Niveau V8	herbelin
2003-11-13	Fermeture de la section maintenant necessaire	herbelin
2003-11-13	factorisation et generalisation des clauses	barras
2003-11-13	Passage a un SStream predicatif	herbelin
2003-11-13	MAJ	herbelin
2003-11-13	Require	herbelin
2003-11-13	qq petit ajouts à Zdiv	letouzey
2003-11-13	maj	filliatr
2003-11-12	MAJ INZ	herbelin
2003-11-12	MAJ	herbelin
2003-11-12	Bug TacId	herbelin
2003-11-12	Ajout lemme projections	herbelin
2003-11-12	%type au lieu de %T	herbelin
2003-11-12	Lemmes dans un sens plus naturel	herbelin
2003-11-12	Suppression du "..." final !	herbelin
2003-11-12	Restructuration ZArith	herbelin
2003-11-12	Cosmetique	herbelin
2003-11-12	Noms canoniques pour les variables liees	herbelin
2003-11-12	Independance vis a vis noms variables liees; partie sur bool dans Zbool	herbelin
2003-11-12	Noms/énoncés plus canoniques	herbelin
2003-11-12	Independance vis a vis noms variables liees	herbelin
2003-11-12	Ajout lemmes; independance vis a vis noms variables liees; restructuration	herbelin
2003-11-12	Ajout partie sur bool anciennement dans Zmisc	herbelin
2003-11-12	Ajout lemmes; independance vis a vis noms variables liees	herbelin
2003-11-12	Nouvelle et derniere vague de renommage	herbelin
2003-11-12	Prise en compte des alias syntaxiques vers des references dans divers lieux d...	herbelin
2003-11-12	Mise en place systeme de renommage des noms de variables liees dans la biblio...	herbelin
2003-11-12	Mise en place systeme de renommage des noms de variables liees dans la biblio...	herbelin
2003-11-12	MAJ ZArith; contraintes plus faibles pour decider la capacite a interpreter l...	herbelin
2003-11-12	Test de la reference principale plutot que le module dans lequel se trouve la...	herbelin
2003-11-12	MAJ	herbelin
2003-11-12	Idtac peut prendre un argument à afficher	narboux
2003-11-12	On sait jamais	herbelin
2003-11-12	conseille l'utilisation de la release officielle 2.2.0 de lablgtk	letouzey
2003-11-12	petits changements de syntaxe	barras
2003-11-12	deux doigts d'extraction dans le CHANGES pour la V8	letouzey
2003-11-12	les modifs depuis la 7.4	letouzey
2003-11-12	TODO	letouzey
2003-11-12	Extraction Module M devient simplement Extraction M	letouzey
2003-11-11	maj	filliatr
2003-11-10	MAJ OTHERFLAGS	herbelin
2003-11-10	Re-suppression de is_verbose dans Print, pour coqide	herbelin
2003-11-10	Suppression SearchNamed finalement redondant avec SearchAbout	herbelin
2003-11-10	le pb du <<.v vu comme module>> engendre maintenant une erreur	letouzey
2003-11-10	message informant de l'ecriture d'un fichier extrait	letouzey
2003-11-10	révision du traitement des axiomes non réalisés	letouzey
2003-11-10	maj	filliatr
2003-11-10	essai d'extraction sous un module	letouzey
2003-11-09	Quelqes renommages lies a Zorder	herbelin
2003-11-09	Ajout quelques lemmes; noms des variables liees	herbelin