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 b534e373cb902f065634c195e272b4520a9b7aa6..10f001df645f8e0ea6bc1c6e585a6ad3f15f96c5 100644 (file)
--- 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