X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fdtd%2Fisobox.ent;fp=helm%2Fdtd%2Fisobox.ent;h=0000000000000000000000000000000000000000;hb=1696761e4b8576e8ed81caa905fd108717019226;hp=630edc5597bb08b3c5c0f8e4f5b6a49ecb090699;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git

diff --git a/helm/dtd/isobox.ent b/helm/dtd/isobox.ent
deleted file mode 100644
index 630edc559..000000000
--- a/helm/dtd/isobox.ent
+++ /dev/null
@@ -1,67 +0,0 @@
-
-<!--
-     File isobox.ent produced by the XSL script mmldtd.xsl
-     from input data in unicode.xml.
-
-     Please report any errors to 
-     David Carlisle <davidc@nag.co.uk>.
-
-     The numeric character values assigned to each entity
-     (should) match either official Unicode assignments
-     or assignments provisionally allocated by the
-     Unicode Consortium based on the characters in the `STIX'
-     propsal for mathematics. Note that these assignments
-     have not been ratified by the corresponding ISO
-     committee and thus should be considered liable to
-     change.
-
-     Entity names in this file are derived from files carrying the
-     following notice:
-
-     (C) International Organization for Standardization 1986
-     Permission to copy in any form is granted for use with
-     conforming SGML systems and applications as defined in
-     ISO 8879, provided this notice is included in all copies.
-
--->
-
-<!ENTITY boxdl            "&#x02510;" ><!--lower left quadrant -->
-<!ENTITY boxdL            "&#x02555;" ><!--lower left quadrant -->
-<!ENTITY boxDl            "&#x02556;" ><!--lower left quadrant -->
-<!ENTITY boxDL            "&#x02557;" ><!--lower left quadrant -->
-<!ENTITY boxdr            "&#x0250C;" ><!--lower right quadrant -->
-<!ENTITY boxdR            "&#x02552;" ><!--lower right quadrant -->
-<!ENTITY boxDr            "&#x02553;" ><!--lower right quadrant -->
-<!ENTITY boxDR            "&#x02554;" ><!--lower right quadrant -->
-<!ENTITY boxh             "&#x02500;" ><!--horizontal line  -->
-<!ENTITY boxH             "&#x02550;" ><!--horizontal line -->
-<!ENTITY boxhd            "&#x0252C;" ><!--lower left and right quadrants -->
-<!ENTITY boxhD            "&#x02565;" ><!--lower left and right quadrants -->
-<!ENTITY boxHd            "&#x02564;" ><!--lower left and right quadrants -->
-<!ENTITY boxHD            "&#x02566;" ><!--lower left and right quadrants -->
-<!ENTITY boxhu            "&#x02534;" ><!--upper left and right quadrants -->
-<!ENTITY boxhU            "&#x02568;" ><!--upper left and right quadrants -->
-<!ENTITY boxHu            "&#x02567;" ><!--upper left and right quadrants -->
-<!ENTITY boxHU            "&#x02569;" ><!--upper left and right quadrants -->
-<!ENTITY boxul            "&#x02518;" ><!--upper left quadrant -->
-<!ENTITY boxuL            "&#x0255B;" ><!--upper left quadrant -->
-<!ENTITY boxUl            "&#x0255C;" ><!--upper left quadrant -->
-<!ENTITY boxUL            "&#x0255D;" ><!--upper left quadrant -->
-<!ENTITY boxur            "&#x02514;" ><!--upper right quadrant -->
-<!ENTITY boxuR            "&#x02558;" ><!--upper right quadrant -->
-<!ENTITY boxUr            "&#x02559;" ><!--upper right quadrant -->
-<!ENTITY boxUR            "&#x0255A;" ><!--upper right quadrant -->
-<!ENTITY boxv             "&#x02502;" ><!--vertical line -->
-<!ENTITY boxV             "&#x02551;" ><!--vertical line -->
-<!ENTITY boxvh            "&#x0253C;" ><!--all four quadrants -->
-<!ENTITY boxvH            "&#x0256A;" ><!--all four quadrants -->
-<!ENTITY boxVh            "&#x0256B;" ><!--all four quadrants -->
-<!ENTITY boxVH            "&#x0256C;" ><!--all four quadrants -->
-<!ENTITY boxvl            "&#x02524;" ><!--upper and lower left quadrants -->
-<!ENTITY boxvL            "&#x02561;" ><!--upper and lower left quadrants -->
-<!ENTITY boxVl            "&#x02562;" ><!--upper and lower left quadrants -->
-<!ENTITY boxVL            "&#x02563;" ><!--upper and lower left quadrants -->
-<!ENTITY boxvr            "&#x0251C;" ><!--upper and lower right quadrants -->
-<!ENTITY boxvR            "&#x0255E;" ><!--upper and lower right quadrants -->
-<!ENTITY boxVr            "&#x0255F;" ><!--upper and lower right quadrants -->
-<!ENTITY boxVR            "&#x02560;" ><!--upper and lower right quadrants -->