coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Declarative language: fixed the generation of fixpoints for induction proofs.	corbinea	2007-07-24
\| \| \| \| \| \| \| \|	Cleaner code: the guardedness bug is now corrected. Added "trivial" to the automation. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10042 85f007b7-540e-0410-9357-904b9bb8a0f7
*	fin des conclusions multiples	corbinea	2007-04-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9796 85f007b7-540e-0410-9357-904b9bb8a0f7
*	decl mode: anonymous facts	corbinea	2007-01-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9534 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Declarative Proof Language: main commit	corbinea	2006-09-20
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9154 85f007b7-540e-0410-9357-904b9bb8a0f7