X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmeta_style%2Farith.xml;fp=helm%2Fmeta_style%2Farith.xml;h=0000000000000000000000000000000000000000;hp=17fc523cdd3b1c40aa5836f2d10874a5a36685b4;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/meta_style/arith.xml b/helm/meta_style/arith.xml
deleted file mode 100644
index 17fc523cd..000000000
--- a/helm/meta_style/arith.xml
+++ /dev/null
@@ -1,69 +0,0 @@
-<!DOCTYPE OpList SYSTEM "operator.dtd">
-
-<!-- ************************** ARITHMETICS ****************************** -->
-
-<OpList xmlns:m="http://www.w3.org/1998/Math/MathML">
-
-<import href="positive.xsl"/>
-
-<Operator
- name  = "LESS EQUAL"
- uri   = "cic:/Coq/Init/Peano/le.ind | cic:/Coq/ZArith/zarith_aux/Zle.con"
- arity = "2"
- m-tag = "leq"/>
-
-<Operator
- name  = "LESS THAN"
- uri   = "cic:/Coq/Init/Peano/lt.con | cic:/Coq/ZArith/zarith_aux/Zlt.con"
- arity = "2"
- m-tag = "lt"/>
-
-<Operator
- name  = "GREATER EQUAL"
- uri   = "cic:/Coq/Init/Peano/ge.con | cic:/Coq/ZArith/zarith_aux/Zge.con"
- arity = "2"
- m-tag = "geq"/>
-
-<Operator
- name  = "GREATER THAN"
- uri   = "cic:/Coq/Init/Peano/gt.con | cic:/Coq/ZArith/zarith_aux/Zgt.con"
- arity = "2"
- m-tag = "gt"/>
-
-<Operator
- name  = "*****"
- uri   = "cic:/Coq/Init/Peano/plus.con | cic:/Coq/ZArith/fast_integer/fast_integers/Zplus.con"
- arity = "2"
- m-tag = "plus"/>
-
-<Operator
- name  = "*****"
- uri   = "cic:/Coq/Arith/Minus/minus.con | cic:/Coq/ZArith/zarith_aux/Zminus.con"
- arity = "2"
- m-tag = "minus"/>
- 
-<Operator
- name  = "*****"
- uri   = "cic:/Coq/Init/Peano/mult.con | cic:/Coq/ZArith/fast_integer/fast_integers/Zmult.con"
- arity = "2"
- m-tag = "times"/>
-
-<Operator
- name  = "*****"
- uri   = "cic:/Coq/Arith/Min/min.con | cic:/Coq/ZArith/zarith_aux/Zmin.con"
- arity = "2"
- m-tag = "min"/>
-
-<Operator
- name  = "*****"
- uri   = "cic:/Coq/ZArith/fast_integer/fast_integers/Zopp.con"
- arity = "1"
- m-tag = "minus"/>
-
-<Operator
- name  = "*****"
- uri   = "cic:/Coq/ZArith/zarith_aux/absolu.con"
- arity = "1"
- m-tag = "abs"/>
-						
-</OpList>