X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fdtd%2Fcicobject.dtd;h=10f001df645f8e0ea6bc1c6e585a6ad3f15f96c5;hb=57b2b50f5b24fd95f4904b5c44b85a678e51b9c7;hp=b534e373cb902f065634c195e272b4520a9b7aa6;hpb=9b90a30c1a2c3e156dd7f46dab4f5e6860ae91da;p=helm.git

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