X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fdtd%2Fcicobject.dtd;h=10f001df645f8e0ea6bc1c6e585a6ad3f15f96c5;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=d78251c1d99b25c2dc1ef7745aa6ee66a3cd783f;hpb=1f0d6e8932f4200a6b1956995225211df2a271a8;p=helm.git

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