X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmeta_style%2Falgebra.xml;fp=helm%2Fmeta_style%2Falgebra.xml;h=0000000000000000000000000000000000000000;hb=869549224eef6278a48c16ae27dd786376082b38;hp=119effa3da0aef63c21d8aa58bbb76700e55211e;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8;p=helm.git

diff --git a/helm/meta_style/algebra.xml b/helm/meta_style/algebra.xml
deleted file mode 100644
index 119effa3d..000000000
--- a/helm/meta_style/algebra.xml
+++ /dev/null
@@ -1,204 +0,0 @@
-<!DOCTYPE OpList SYSTEM "operator.dtd">
-
-<OpList xmlns:m="http://www.w3.org/1998/Math/MathML">
-
-<!-- Unary Operations -->
-
-<Operator
- name  = "0"
- uri   = "cic:/Algebra/CSemiGroups/csg_unit.con"
- arity = "1">
-	<mop tag="ci" helm:xref="$APP-ID">0</mop>
-</Operator>
-
-<Operator
- name  = "1"
- uri   = "cic:/Algebra/CRings/cr_one.con"
- arity = "1">
-	<mop tag="ci" helm:xref="$APP-ID">1</mop>
-</Operator>
-
-<Operator
- name  = "*****"
- uri   = "cic:/Algebra/CGroups/cg_inv.con"
- hide  = "1"
- arity = "1"
- m-tag = "minus"/>
-
-<Operator
- name  = "*****"
- uri   = "cic:/Algebra/CMetricFields/CMetric_Fields/cmf_abs.con"
- hide  = "1"
- arity = "2"
- m-tag = "abs"/>
-
-<!-- Binary Operations and Relations -->
-
-<Operator
- name  = "SETOID EQUALITY"
- uri   = "cic:/Algebra/CSetoids/cs_eq.con"
- hide  = "1"
- arity = "2"
- m-tag = "eq"/>
-
-<Operator
- name  = "APART"
- uri   = "cic:/Algebra/CSetoids/cs_ap.con"
- hide  = "1"
- arity = "2"
- m-tag = "neq"/>
-
-<Operator
- name  = "*****"
- uri   = "cic:/Algebra/COrdFields/leEq.con"
- hide  = "1"
- arity = "2"
- m-tag = "leq"/>
-
-<Operator
- name  = "*****"
- uri   = "cic:/Algebra/COrdFields/cof_less.con"
- hide  = "1"
- arity = "2"
- m-tag = "lt"/>
-
-<Operator
- name  = "*****"
- uri   = "cic:/Algebra/CRings/cr_plus.con | cic:/Algebra/CSemiGroups/csg_op.con"
- hide  = "1"
- arity = "2"
- m-tag = "plus"/>
-
-<Operator
- name  = "*****"
- uri   = "cic:/Algebra/CRings/cr_minus.con | cic:/Algebra/CGroups/cg_minus.con"
- hide  = "1"
- arity = "2"
- m-tag = "minus"/>
-
-<Operator
- name  = "*****"
- uri   = "cic:/Algebra/CRings/cr_mult.con"
- hide  = "1"
- arity = "2"
- m-tag = "times"/>
-
-<Operator
- name  = "*****"
- uri   = "cic:/Algebra/CFields/cf_div.con"
- hide  = "1"
- arity = "2"
- m-tag = "divide"/>
-
-<Operator
- name  = "*****"
- uri   = "cic:/Algebra/CRings/Ring_constructions/nzpro.con"
- cook  = "true"
- arity = "2">
-	<param id="1"/>
-</Operator>
-
-<Operator
- name  = "*****"
- uri   = "cic:/Algebra/CRings/exponentiation/nexp.con"
- cook  = "true"
- arity = "2"
- m-tag = "power"/>
-
-<Operator
- name  = "*****"
- uri   = "cic:/Algebra/CRings/exponentiation/nexp_op.con | cic:/Algebra/Expon/Zexp_def/zexp.con"
- cook  = "true"
- arity = "2">
-	<mapp>
-		<mop tag="power"/>
-		<param id="2"/>
-		<param id="1"/>
-	</mapp>
-</Operator>
-
-
-<Operator
- name  = "*****"
- uri   = "cic:/Algebra/COrdFields/absSmall.con"
- hide  = "1"
- arity = "2">
-	<mapp>
-		<mop tag="lt"/>
-		<mapp>
-			<mop tag="abs"/>
-			<param id="2"/>
-		</mapp>
-		<param id="1"/>
-	</mapp>
-</Operator>
-
-<Operator
- name  = "*****"
- uri   = "cic:/Algebra/CPolynomials/CPoly_CRing_ctd/cpoly_apply_fun.con"
- cook  = "true"
- arity = "2"> 
- 	<mapp>
-		<m:csymbol>app</m:csymbol>
-		<param id="1"/>
-		<param id="2"/>
-	</mapp>
-</Operator>
-
-<Operator
- name  = "********"
- uri   = "cic:/Algebra/COrdFields/OrdField_Cauchy/seqLimit.con"
- cook  = "true"
- arity = "2">
- 	<mapp>
-		<mop tag="eq" helm:xref="$APP-ID"/>
-		<mapp helm:xref="$OP-ID">
-			<mop tag="limit"/>
-			<mbvar name="x"/>
-			<m:lowlimit>
-				<m:infinity/>
-			</m:lowlimit>
-			<param id="1" bvar="x"/>
-		</mapp>
-		<param id="2"/>
-	</mapp>
-</Operator>
-
-<Operator
- name  = "********"
- uri   = "cic:/Algebra/CSums/Sums/sum0.con"
- cook  = "true"
- arity = "2">
-	<m:apply helm:xref="$OP-ID">
-		<mop tag="sum"/>
-		<mbvar name="x"/>
-		<m:condition>
-			<m:apply>
-				<m:lt/>
-				<mvar name="x"/>
-				<param id="1"/>
-			</m:apply>
-		</m:condition>
-		<param id="2" bvar="x"/>
-	</m:apply>
-</Operator>
-
-<Operator
- name  = "SUM"
- uri   = "cic:/Algebra/CSums/Sums/sum.con"
- cook  = "true"
- arity = "3">
-	<m:apply helm:xref="$OP-ID">
-		<mop tag="sum"/>
-		<mbvar name="x"/>
-		<m:lowlimit>
-			<param id="1"/>
-		</m:lowlimit>
-		<m:uplimit>
-			<param id="2"/>
-		</m:uplimit>
-		<param id="3" bvar="x"/>
-	</m:apply>
-</Operator>
-
-</OpList>