X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fdtd%2Fcic.dtd;h=164945d2a0b238ed1fd51f5ff9708c35d1504a5f;hb=d891eccad8306283c5b1e6c1e9a8c56b2ebd5309;hp=088c78abf4e866db8ca82d1604cebe9619de4a9b;hpb=1808f15362ca07bb4ad5b6802afbf6789683f0bd;p=helm.git diff --git a/helm/dtd/cic.dtd b/helm/dtd/cic.dtd index 088c78abf..164945d2a 100644 --- a/helm/dtd/cic.dtd +++ b/helm/dtd/cic.dtd @@ -1,42 +1,11 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + LETIN|MUTIND|MUTCONSTRUCT|MUTCASE|FIX|COFIX|instantiate)'> @@ -48,23 +17,23 @@ - - + + - - + + - + + of CDATA #REQUIRED + id ID #REQUIRED> + inductive (true|false) #REQUIRED + id ID #REQUIRED> + no NMTOKEN #REQUIRED + id ID #REQUIRED> + name CDATA #IMPLIED + id ID #REQUIRED> + name CDATA #IMPLIED + id ID #REQUIRED> + - + - + - + @@ -136,6 +108,7 @@ value NMTOKEN #REQUIRED binder CDATA #REQUIRED id ID #REQUIRED + idref IDREF #REQUIRED sort %sort; #REQUIRED> @@ -150,9 +123,9 @@ + uri CDATA #REQUIRED + id ID #REQUIRED + sort %sort; #REQUIRED> @@ -211,25 +184,41 @@ + + + + + - + + - - + + + + + - - +