coq/contrib/linear, branch master

Ground update + Linear removal

2003-10-16T15:44:47+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4654 85f007b7-540e-0410-9357-904b9bb8a0f7

2003-03-31T21:18:53+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3825 85f007b7-540e-0410-9357-904b9bb8a0f7

2003-03-24T09:59:26+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3785 85f007b7-540e-0410-9357-904b9bb8a0f7

2003-03-21T14:28:26+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3781 85f007b7-540e-0410-9357-904b9bb8a0f7

2003-02-25T13:12:03+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3702 85f007b7-540e-0410-9357-904b9bb8a0f7

2003-02-24T17:12:57+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3699 85f007b7-540e-0410-9357-904b9bb8a0f7