last commit for helena 0.8.1

[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 539e8a28fabee27e14348307265da67e8f7252d4..0378bb3979eae401c68cbe36a11bb8e408011cb9 100644 (file)
--- a/helm/software/lambda-delta/xml/ld.dtd
+++ b/helm/software/lambda-delta/xml/ld.dtd
@@ -105,14 +105,29 @@
 
 <!-- CONVERSION CONSTRAINT SYSTEM -->
 
-<!ENTITY % ccs '(ToInfinity)'> 
+<!ENTITY % cc '(ToPositive|ToOne|ToNext)'> 
 
-<!ELEMENT ToInfinity EMPTY>
-<!ATTLIST ToInfinity
+<!ENTITY % ccs '(%cc;*)'>
+
+<!ELEMENT ToPositive EMPTY>
+<!ATTLIST ToPositive
+          arity NMTOKEN  #IMPLIED
+          mark  NMTOKENS #IMPLIED
+>
+
+<!ELEMENT ToOne EMPTY>
+<!ATTLIST ToOne
           arity NMTOKEN  #IMPLIED
           mark  NMTOKENS #IMPLIED
 >
 
+<!ELEMENT ToNext EMPTY>
+<!ATTLIST ToNext
+          arity NMTOKEN  #IMPLIED
+          prec  NMTOKENS #IMPLIED
+          next  NMTOKENS #IMPLIED
+>
+
 <!ELEMENT CCS %ccs;>
 <!ATTLIST CCS
           uri  CDATA   #REQUIRED