From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 11 Jul 2003 16:56:30 +0000 (+0000)
Subject: Change to the DTD: Params is now a list of param with an m:math inside.
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=57b2b50f5b24fd95f4904b5c44b85a678e51b9c7

Change to the DTD: Params is now a list of param with an m:math inside.
---

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