From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 11 Jul 2003 15:15:22 +0000 (+0000)
Subject: Params is now a list of Param.
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=9b90a30c1a2c3e156dd7f46dab4f5e6860ae91da

Params is now a list of Param.
---

diff --git a/helm/dtd/cicobject.dtd b/helm/dtd/cicobject.dtd
index d78251c1d..b534e373c 100644
--- a/helm/dtd/cicobject.dtd
+++ b/helm/dtd/cicobject.dtd
@@ -90,7 +90,11 @@
 <!ATTLIST Param
           name CDATA #REQUIRED>
 
-<!ELEMENT Params (#PCDATA)*>
+<!ELEMENT Params (Param)*>
+
+<!ELEMENT Param (CDATA)*>
+<!ATTLIST Param
+          definitionURL CDATA #REQUIRED>
 
 <!ELEMENT Decl %term;>
 <!ATTLIST Decl