]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/dtd/cicobject.dtd
Params is now a list of Param.
[helm.git] / helm / dtd / cicobject.dtd
index d78251c1d99b25c2dc1ef7745aa6ee66a3cd783f..b534e373cb902f065634c195e272b4520a9b7aa6 100644 (file)
 <!ATTLIST Param
           name CDATA #REQUIRED>
 
-<!ELEMENT Params (#PCDATA)*>
+<!ELEMENT Params (Param)*>
+
+<!ELEMENT Param (CDATA)*>
+<!ATTLIST Param
+          definitionURL CDATA #REQUIRED>
 
 <!ELEMENT Decl %term;>
 <!ATTLIST Decl