coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Desactivation de la syntaxe v7 de Hint Rewrite en v8	herbelin	2004-03-17
*	Ajout tactiques stepl et stepr de Nimègue	herbelin	2004-03-10
*	Ajout d'une entrée hyp de type HypArgType pour parser et interpréter les no...	herbelin	2004-03-02
*	Ajout 'replace in'	herbelin	2004-03-01
*	Idtac peut prendre un argument à afficher	narboux	2003-11-12
*	petits changements de syntaxe	barras	2003-11-12
*	reorganisation des niveaux (ex: = est a 70)	barras	2003-10-22
*	Extension de l'utilisation de contradiction	herbelin	2003-10-19
*	Cablage en dur de inversion	herbelin	2003-10-10
*	Globalisation des noms de tactiques dans les définitions de tactiques	herbelin	2003-04-07
*	notations <>, Assumption avec existentiel, replace term	mohring	2003-03-28
*	* empty log message *	barras	2003-03-12
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Subst (tout court)	filliatr	2002-09-16
*	tactique Subst x1 ... xn	filliatr	2002-09-11
*	tactique Subst	filliatr	2002-07-17
*	Repercussion de la possibilit de mettre des hyps quantifiees dans Simplify_eq...	herbelin	2002-06-05
*	Rpercussion de la possibilit de mettre des hyps quantifies dans Simplify_eq e...	herbelin	2002-06-05
*	Ajout d'extensions de syntaxe ARGUMENT EXTEND et VERNAC ARGUMENT EXTEND; rpar...	herbelin	2002-06-05
*	Fichiers tactics/.ml4 remplacent les tactics/.v	herbelin	2002-05-29