diff options
| author | mohring | 2001-04-19 12:59:31 +0000 |
|---|---|---|
| committer | mohring | 2001-04-19 12:59:31 +0000 |
| commit | 97271bd7c99f2a6de4b022af420f7a6050803492 (patch) | |
| tree | c73c7178a6d1c8479f86a6273847a26db0f39e64 | |
| parent | 44fe7c9f1be954d70754a90e997c3b4201993d4c (diff) | |
Changement Zarith ZArith
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1624 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -354,10 +354,10 @@ ARITHVO=theories/Arith/Arith.vo theories/Arith/Gt.vo \ BOOLVO=theories/Bool/Bool.vo theories/Bool/IfProp.vo \ theories/Bool/Zerob.vo theories/Bool/DecBool.vo theories/Bool/Sumbool.vo -ZARITHVO=theories/Zarith/Wf_Z.vo theories/Zarith/Zsyntax.vo \ - theories/Zarith/ZArith.vo theories/Zarith/auxiliary.vo \ - theories/Zarith/ZArith_dec.vo theories/Zarith/fast_integer.vo \ - theories/Zarith/Zmisc.vo theories/Zarith/zarith_aux.vo +ZARITHVO=theories/ZArith/Wf_Z.vo theories/ZArith/Zsyntax.vo \ + theories/ZArith/ZArith.vo theories/ZArith/auxiliary.vo \ + theories/ZArith/ZArith_dec.vo theories/ZArith/fast_integer.vo \ + theories/ZArith/Zmisc.vo theories/ZArith/zarith_aux.vo LISTSVO=theories/Lists/List.vo theories/Lists/PolyListSyntax.vo \ theories/Lists/ListSet.vo theories/Lists/Streams.vo \ |