coq/contrib/extraction/test/custom/PolyList, branch master The formal proof system PolyList -> List 2004-03-22T17:10:05+00:00 letouzey 2004-03-22T17:10:05+00:00 41bc10e991206e5593a706d93ee67adcbf39cb50 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5541 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5541 85f007b7-540e-0410-9357-904b9bb8a0f7
refonte du test 2001-11-05T17:20:41+00:00 letouzey 2001-11-05T17:20:41+00:00 8cd83fb8dd41521bbc109d37dd49dd3aae0de373 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2162 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2162 85f007b7-540e-0410-9357-904b9bb8a0f7