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

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