New attribute @params for variables.

diff --git a/helm/dtd/cic.dtd b/helm/dtd/cic.dtd
index 164945d2a0b238ed1fd51f5ff9708c35d1504a5f..8b46087d25e1eb076e229a29e14d3004d39a0910 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