coq/contrib7/romega/ReflOmegaCore.v, branch master

Suppression des fichiers .v en ancienne syntaxe

2005-12-26T13:59:13+00:00

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

- changement ordre arguments interp_goal_concl pour permettre application

2005-02-21T00:38:37+00:00

  partielle
- amélioration traduction en nouvelle syntaxe


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

ROmega

2004-03-04T08:28:36+00:00

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

Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7

2003-11-29T16:15:58+00:00

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