coq - The formal proof system

Age	Commit message (Collapse)	Author
2004-03-24	Effacement tardif de ce fichier qui a ete transforme le 5 nov 2002 en une ↵	herbelin
	version non ml4 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5547 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-03-12	* empty log message *	barras
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3761 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-12-19	Petit netoyage dans lib	coq
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3463 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-12-03	la table PARAMETER n'existe plus (mergé dans la table CONSTANT)	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3369 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-10-07	Lazy manuelles dans le code	coq
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3100 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-10-05	Lazy experimentale temporaire...	coq
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3091 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-08-17	Suppression automatique du corps des définitions locales opaques dans	herbelin
	les contextes de preuves git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2972 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-08-02	Modules dans COQ\!\!\!\!	coq
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2957 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-05-29	Fichiers contrib//.ml4 remplacent les contrib//.v	herbelin
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2720 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-02-15	petits changements cosmetiques sur les tactiques	barras
	+ Clear independant de l'ordre des hypotheses, et substituant les hypotheses definies git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2481 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-19	reparation du make depend et du .depend	letouzey
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2334 85f007b7-540e-0410-9357-904b9bb8a0f7