X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fdtd%2Fcic.dtd;h=28f2804f92d7110b4f9c9b81daa4b772ea6af9fb;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=0a90d9e908fe367780af3bfc0a7d2b418ccca933;hpb=8e1a7e55cbc7750446f0a7ab3d071190594243fb;p=helm.git diff --git a/helm/dtd/cic.dtd b/helm/dtd/cic.dtd index 0a90d9e90..28f2804f9 100644 --- a/helm/dtd/cic.dtd +++ b/helm/dtd/cic.dtd @@ -1,109 +1,112 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + LETIN|MUTIND|MUTCONSTRUCT|MUTCASE|FIX|COFIX|instantiate)'> - + + + + - - + + - - + + - + + of CDATA #REQUIRED + id ID #REQUIRED> - + - + + name CDATA #REQUIRED + params CDATA #REQUIRED + id ID #REQUIRED> + + + + + + + + + + + + inductive (true|false) #REQUIRED + id ID #REQUIRED> - + + no NMTOKEN #REQUIRED + id ID #REQUIRED> + + + + + + + + + + + - + - + - + @@ -116,6 +119,7 @@ value NMTOKEN #REQUIRED binder CDATA #REQUIRED id ID #REQUIRED + idref IDREF #REQUIRED sort %sort; #REQUIRED> @@ -130,19 +134,23 @@ + uri CDATA #REQUIRED + id ID #REQUIRED + sort %sort; #REQUIRED> - + + + + + no NMTOKEN #REQUIRED + id ID #REQUIRED + sort %sort; #REQUIRED> + id ID #REQUIRED + annotation (closed|type|hole) #IMPLIED> + + + + + + + - + + - - + + + + + - - +