diff options
| author | barras | 2003-10-11 00:20:33 +0000 |
|---|---|---|
| committer | barras | 2003-10-11 00:20:33 +0000 |
| commit | 2b61cb974c847669eaf24dfbf47d8615812481fb (patch) | |
| tree | 114bfc378dbb08e18ab57c4072277b4dc0a5fd04 /.depend.newcoq | |
| parent | e5164cf5448cb25d2911320469bc16e44ceae511 (diff) | |
mise a jour nouvelle syntaxe
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4595 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.depend.newcoq')
| -rw-r--r-- | .depend.newcoq | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.depend.newcoq b/.depend.newcoq index 87bfd49f97..c975b9805b 100644 --- a/.depend.newcoq +++ b/.depend.newcoq @@ -57,7 +57,7 @@ newtheories/Init/Datatypes.vo: newtheories/Init/Datatypes.v newtheories/Init/Not newtheories/Init/Peano.vo: newtheories/Init/Peano.v newtheories/Init/Notations.vo newtheories/Init/Datatypes.vo newtheories/Init/Logic.vo newtheories/Init/Logic.vo: newtheories/Init/Logic.v newtheories/Init/Notations.vo newtheories/Init/Datatypes.vo newtheories/Init/Specif.vo: newtheories/Init/Specif.v newtheories/Init/Notations.vo newtheories/Init/Datatypes.vo newtheories/Init/Logic.vo -newtheories/Init/Logic_Type.vo: newtheories/Init/Logic_Type.v newtheories/Init/Notations.vo newtheories/Init/Logic.vo +newtheories/Init/Logic_Type.vo: newtheories/Init/Logic_Type.v newtheories/Init/Datatypes.vo newtheories/Init/Logic.vo newtheories/Init/Wf.vo: newtheories/Init/Wf.v newtheories/Init/Notations.vo newtheories/Init/Logic.vo newtheories/Init/Datatypes.vo newtheories/Init/Prelude.vo: newtheories/Init/Prelude.v newtheories/Init/Notations.vo newtheories/Init/Datatypes.vo newtheories/Init/Logic.vo newtheories/Init/Specif.vo newtheories/Init/Peano.vo newtheories/Init/Wf.vo newtheories/Init/Notations.vo: newtheories/Init/Notations.v @@ -65,7 +65,7 @@ newtheories/Init/Datatypes.vo: newtheories/Init/Datatypes.v newtheories/Init/Not newtheories/Init/Peano.vo: newtheories/Init/Peano.v newtheories/Init/Notations.vo newtheories/Init/Datatypes.vo newtheories/Init/Logic.vo newtheories/Init/Logic.vo: newtheories/Init/Logic.v newtheories/Init/Notations.vo newtheories/Init/Datatypes.vo newtheories/Init/Specif.vo: newtheories/Init/Specif.v newtheories/Init/Notations.vo newtheories/Init/Datatypes.vo newtheories/Init/Logic.vo -newtheories/Init/Logic_Type.vo: newtheories/Init/Logic_Type.v newtheories/Init/Notations.vo newtheories/Init/Logic.vo +newtheories/Init/Logic_Type.vo: newtheories/Init/Logic_Type.v newtheories/Init/Datatypes.vo newtheories/Init/Logic.vo newtheories/Init/Wf.vo: newtheories/Init/Wf.v newtheories/Init/Notations.vo newtheories/Init/Logic.vo newtheories/Init/Datatypes.vo newtheories/Init/Prelude.vo: newtheories/Init/Prelude.v newtheories/Init/Notations.vo newtheories/Init/Datatypes.vo newtheories/Init/Logic.vo newtheories/Init/Specif.vo newtheories/Init/Peano.vo newtheories/Init/Wf.vo newtheories/Logic/Hurkens.vo: newtheories/Logic/Hurkens.v |