coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Work on recursive definitions	coq	2006-02-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8080 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Work with binder lists, problem of tycons	coq	2006-02-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8073 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Latest fixes, should work fine now for non recursive definitions, although ↵	coq	2006-02-21
\| \| \| \| \| \|	still has some syntax problems git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8072 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fix minor bug	coq	2006-02-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8069 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Monday work, working with coercions and implicit args	coq	2006-02-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8067 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Rewrite of the subtac tactic, needs some work on implicit arguments.	coq	2006-02-20
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8063 85f007b7-540e-0410-9357-904b9bb8a0f7