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

diff --git a/helm/meta_style/operator.dtd b/helm/meta_style/operator.dtd
deleted file mode 100644
index c76466956..000000000
--- a/helm/meta_style/operator.dtd
+++ /dev/null
@@ -1,71 +0,0 @@
-<?xml encoding="ISO-8859-1"?>
-
-<!-- CIC operators description: -->
-
-<!ELEMENT OpList ((include|import)*, (OpSet|NotOpSet|Operator|NotOperator)+)>
-
-<!ELEMENT include EMPTY>
-<!ATTLIST include
-          href CDATA #REQUIRED>
-
-<!ELEMENT import EMPTY>
-<!ATTLIST import
-          href CDATA #REQUIRED>
-
-<!ELEMENT OpSet (Case,Case+)>
-<!ATTLIST OpSet
-          name  CDATA        #IMPLIED
-          cook  (true|false) "false"
-		  uri   CDATA        #REQUIRED
-          hide  NMTOKEN      "0"
-          m-tag CDATA        #IMPLIED>
-
-<!ELEMENT NotOpSet (Case,Case+)>
-<!ATTLIST NotOpSet
-          name  CDATA        #IMPLIED
-          uri   CDATA        #REQUIRED
-		  cook  (true|false) "false"
-          hide  NMTOKEN      "0"
-          m-tag CDATA        #IMPLIED>
-
-<!ELEMENT Case (mapp|mop|param|mbvar|mvar|PCDATA)*>
-<!ATTLIST Case
-          arity NMTOKEN #REQUIRED>
-
-<!ELEMENT Operator (mapp|mop|param|mbvar|mvar|PCDATA)*>
-<!ATTLIST Operator
-          name  CDATA        #IMPLIED
-          uri   CDATA        #REQUIRED
-		  cook  (true|false) "false"
-          hide  NMTOKEN      "0" 
-          arity NMTOKEN      "0" 
-          m-tag CDATA        #IMPLIED>
-
-<!ELEMENT NotOperator (mapp|mop|param|mbvar|mvar|PCDATA)*>
-<!ATTLIST NotOperator
-          name  CDATA        #IMPLIED
-          uri   CDATA        #REQUIRED
-		  cook  (true|false) "false"
-          hide  NMTOKEN      "0"
-          arity NMTOKEN      "0"
-          m-tag CDATA        #IMPLIED>
-
-<!ELEMENT mop (mop|mapp|param|PCDATA)*>
-<!ATTLIST mop
-          tag CDATA #REQUIRED>
-
-<!ELEMENT mapp (mop|mapp|param|mbvar|mvar|PCDATA)+>
-
-<!ELEMENT param EMPTY>
-<!ATTLIST param
-          id   CDATA #REQUIRED
-          bvar CDATA #IMPLIED
-          mode CDATA "noannot">
-
-<!ELEMENT mbvar (PCDATA)*>
-<!ATTLIST mbvar
-          name CDATA #REQUIRED>
-
-<!ELEMENT mvar EMPTY>
-<!ATTLIST mvar
-          name CDATA #REQUIRED>