when sort inclusion is enabled, we can produce conversion constraints in xml

[helm.git] / helm / software / lambda-delta / xml / ld.dtd

diff --git a/helm/software/lambda-delta/xml/ld.dtd b/helm/software/lambda-delta/xml/ld.dtd
index e6e90f7386ee3aeb6336b30808c5c557f0676c96..d97173d8279fb5202bef9542f2998f1a3abadc6b 100644 (file)
--- a/helm/software/lambda-delta/xml/ld.dtd
+++ b/helm/software/lambda-delta/xml/ld.dtd
@@ -95,10 +95,23 @@
          meta CDATA   #IMPLIED
 >
 
-<!-- ROOT -->
-
 <!ELEMENT ENTITY %entity;>
 <!ATTLIST ENTITY
           hierarchy NMTOKEN  #REQUIRED
           options   NMTOKENS #IMPLIED
 >
+
+<!-- CONVERSION CONSTRAINT SYSTEM -->
+
+<!ENTITY % ccs '(ToInfinity)'> 
+
+<!ELEMENT ToInfinity EMPTY>
+<!ATTLIST ToInfinity
+          arity NMTOKEN  #IMPLIED
+          mark  NMTOKENS #IMPLIED
+>
+
+<!ELEMENT CCS %ccs;>
+<!ATTLIST CCS
+          uri  CDATA   #REQUIRED
+>