diff options
| author |  mohring <mohring@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-04-12 04:58:24 +0000 |
|---|---|---|
| committer | mohring <mohring@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-04-12 04:58:24 +0000 |
| commit | a07627c4567ac28e7903755a955665dc8e347e9e (patch) | |
| tree | c32660e3d17fb2dc739906c08dbc740785e323a5 /Makefile | |
| parent | 1cf49df11855525e05f65587be7198ecfdebc9e7 (diff) | |
Ajout de l'egalite de John Major
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1580 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -340,7 +340,8 @@ clean:: LOGICVO=theories/Logic/Classical.vo theories/Logic/Classical_Type.vo \ theories/Logic/Classical_Pred_Set.vo theories/Logic/Eqdep.vo \ theories/Logic/Classical_Pred_Type.vo theories/Logic/Classical_Prop.vo \ - theories/Logic/Eqdep_dec.vo theories/Logic/Decidable.vo + theories/Logic/Eqdep_dec.vo theories/Logic/Decidable.vo \ + theories/Logic/JMeq.v ARITHVO=theories/Arith/Arith.vo theories/Arith/Gt.vo \ theories/Arith/Between.vo theories/Arith/Le.vo \ |