X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fxmathql.dtd;h=96b52a22b17c4f3a2a2a155374c597026748d883;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=3cf73eba6950cfc96a6f460d6863da83e4e3a2c1;hpb=4f195220f9e7ee0fcb0de4d78a3e5817b70ea803;p=helm.git

diff --git a/helm/mathql/xmathql.dtd b/helm/mathql/xmathql.dtd
index 3cf73eba6..96b52a22b 100644
--- a/helm/mathql/xmathql.dtd
+++ b/helm/mathql/xmathql.dtd
@@ -89,9 +89,10 @@
 
 <!ELEMENT LetVIn (%stringsetexpr;, Vtarget)>
 
-<!ELEMENT Relation (Refine?,%setexpr;, Attr+)>
+<!ELEMENT Relation (PName?,%setexpr;, Attr+)>
 <!ATTLIST Relation
-          name CDATA #REQUIRED>
+          name CDATA #REQUIRED
+          refine (sub|super) #IMPLIED>
 
 <!ELEMENT Union (%setexpr;, %setexpr;)>
 
@@ -119,7 +120,7 @@
 <!ATTLIST Attr 
           binder CDATA #REQUIRED>
 
-<!ELEMENT Refine (SUB|SUPER|CONST+)>
+<!ELEMENT PName (CONST+)>
 
 <!-- MathQL boolean expressions -->