- added a level of quoting on xmluri parameter because libxslt's

[helm.git] / helm / dtd / cic.dtd

diff --git a/helm/dtd/cic.dtd b/helm/dtd/cic.dtd
index 164945d2a0b238ed1fd51f5ff9708c35d1504a5f..a4068754f451274c9aa5b2388ad583c539964f58 100644 (file)
--- a/helm/dtd/cic.dtd
+++ b/helm/dtd/cic.dtd
@@ -43,8 +43,9 @@
 
 <!ELEMENT Variable (body?,type)>
 <!ATTLIST Variable
-          name CDATA #REQUIRED
-          id   ID    #REQUIRED>
+          name   CDATA #REQUIRED
+          params CDATA #REQUIRED
+          id     ID    #REQUIRED>
 
 <!ELEMENT Sequent %sequent;>
 <!ATTLIST Sequent
@@ -196,7 +197,7 @@
 
 <!-- Explicit named substitutions: -->
 
-<!ELEMENT instantiate ((CONST|MUTIND|MUTCONSTRUCT),arg+)>
+<!ELEMENT instantiate ((CONST|MUTIND|MUTCONSTRUCT|VAR),arg+)>
 <!ATTLIST instantiate
           id ID #IMPLIED>