]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/meta_style/basic.xml
No longer in use. The official repository for the
[helm.git] / helm / meta_style / basic.xml
diff --git a/helm/meta_style/basic.xml b/helm/meta_style/basic.xml
deleted file mode 100644 (file)
index e9da62a..0000000
+++ /dev/null
@@ -1,88 +0,0 @@
-<!DOCTYPE OpList SYSTEM "operator.dtd">
-
-
-<OpList xmlns:m="http://www.w3.org/1998/Math/MathML">
-
-<!-- ************************* LOGIC *********************************-->
-
-<Operator
- name  = "AND"
- uri   = "cic:/Coq/Init/Logic/and.ind"
- arity = "2"
- m-tag = "and"/>
-
-<Operator
- name  = "OR"
- uri   = "cic:/Coq/Init/Logic/or.ind"
- arity = "2"
- m-tag = "or"/>
-
-<Operator
- name  = "IFF"
- uri   = "cic:/Coq/Init/Logic/iff.con"
- arity = "2">
-       <mapp>
-               <m:csymbol>iff</m:csymbol>
-               <param id="1"/>
-               <param id="2"/>
-       </mapp>
-</Operator>
-
-<Operator
- name  = "NOT" 
- uri   = "cic:/Coq/Init/Logic/not.con"
- arity = "1"
- m-tag = "not"/>
-<!-- EQUALITY and TYPE EQUALITY -->
-
-<Operator
- name  = "EQUALITY and TYPE EQUALITY"
- uri   = "cic:/Coq/Init/Logic/eq.ind | cic:/Coq/Init/Logic_Type/eqT.ind"
- hide  = "1"
- arity = "2"
- m-tag = "eq"/>
-
-<NotOperator
- name  = "NOT-EQ and NOT-EQT"
- uri   = "cic:/Coq/Init/Logic/eq.ind | cic:/Coq/Init/Logic_Type/eqT.ind"
- hide  = "1"
- arity = "2">
-       <mapp>
-               <m:neq/>
-               <param id="1"/>
-               <param id="2" mode="set"/>
-       </mapp>
-</NotOperator>
-
-<Operator
- name  = "EXIST"
- uri   = "cic:/Coq/Init/Logic/ex.ind | cic:/Coq/Init/Logic_Type/exT.ind"
- arity = "2">
-       <mapp>
-               <mop tag="exists"/>
-               <mbvar name="x"/>
-               <m:condition>
-                       <param id="1" mode="pure"/>
-               </m:condition>
-               <param id="2" bvar="x"/>
-       </mapp>
-</Operator>
-
-<Operator
- name  = "EXIST"
- uri   = "cic:/Coq/Init/Logic/ex2.ind | cic:/Coq/Init/Logic_Type/exT2.ind"
- hide  = "1"
- arity = "2">
-       <mapp>
-               <mop tag="exists"/>
-               <mbvar name="x"/>
-               <m:condition>
-                       <param id="1" bvar="x"/>
-               </m:condition>
-               <param id="2" bvar="x"/>
-       </mapp>
-</Operator>
-
-</OpList>