From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 25 Oct 2002 16:41:41 +0000 (+0000)
Subject: New attribute @params for variables.
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d8e6e320b85cef6ff4dd70ab74bd6bc9398b734f;p=helm.git

New attribute @params for variables.
---

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