diff options
| author | filliatr | 2000-03-18 00:23:43 +0000 |
|---|---|---|
| committer | filliatr | 2000-03-18 00:23:43 +0000 |
| commit | 9441cd8a9a11fc1557abb5480de9884ba647b533 (patch) | |
| tree | 058e5fafad8c51d26a5303e8d76de2f17855644e | |
| parent | 8584adf9d7cbf7fc8998cbad33ed6e0e081e827e (diff) | |
on ne compile pas Div.v (Realizer)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@325 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -219,12 +219,12 @@ ARITHVO=theories/Arith/Arith.vo theories/Arith/Gt.vo \ theories/Arith/Between.vo theories/Arith/Le.vo \ theories/Arith/Compare.vo theories/Arith/Lt.vo \ theories/Arith/Compare_dec.vo theories/Arith/Min.vo \ - theories/Arith/Div.vo theories/Arith/Minus.vo \ - theories/Arith/Div2.vo theories/Arith/Mult.vo \ + theories/Arith/Div2.vo theories/Arith/Minus.vo \ + theories/Arith/Mult.vo theories/Arith/Even.vo \ theories/Arith/EqNat.vo theories/Arith/Peano_dec.vo \ theories/Arith/Euclid_def.vo theories/Arith/Plus.vo \ theories/Arith/Euclid_proof.vo theories/Arith/Wf_nat.vo \ - theories/Arith/Even.vo +# theories/Arith/Div.vo BOOLVO=theories/Bool/Bool.vo theories/Bool/IfProp.vo \ theories/Bool/Zerob.vo theories/Bool/DecBool.vo theories/Bool/Sumbool.vo |