coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Moved Case3.v from ideal features to success (it works since 8.2).	herbelin	2010-04-17
\| \| \| \| \| \| \| \| \|	Two other tests are still "ideal features" though not failing (evars_subst.v is a complexity test still of bad complexity and universes.v just describes an improvement to do without checking anything). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12949 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ces fichiers décrivent des comportements peut-être souhaités mais ↵	herbelin	2001-09-19
\| \| \| \| \| \|	actuellement non implantés git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1996 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Oubli d'hypotheses pour faire fonctionner les exemples	herbelin	2001-05-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1747 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Decomposition de Cases	mohring	2001-04-20
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1651 85f007b7-540e-0410-9357-904b9bb8a0f7