coq/contrib/firstorder/unify.ml, branch master The formal proof system Directory 'contrib' renamed into 'plugins', to end confusion with archive of user contribs 2009-03-20T01:22:58+00:00 letouzey 2009-03-20T01:22:58+00:00 7d220f8b61649646692983872626d6a8042446a9 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7
pushed evar reduction in kernel 2009-02-06T21:25:52+00:00 barras 2009-02-06T21:25:52+00:00 6160f53e89800a785d773c4130b08fbe7c345651 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11889 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11889 85f007b7-540e-0410-9357-904b9bb8a0f7
first-order --> firstorder (kills a warning about not being a valid id) 2008-04-16T20:40:19+00:00 letouzey 2008-04-16T20:40:19+00:00 99ad573113f5afc8bb5409649843567dee40ba40 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10805 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10805 85f007b7-540e-0410-9357-904b9bb8a0f7