<!-- CIC sorts -->
-<!ENTITY % sort '(Prop|Set|Type)'>
+<!ENTITY % sort '(Prop|Set|Type|CProp)'>
<!-- CIC sequents -->
<!ELEMENT Variable (body?,type)>
<!ATTLIST Variable
- name CDATA #REQUIRED
- id ID #REQUIRED>
+ name CDATA #REQUIRED
+ params CDATA #REQUIRED
+ id ID #REQUIRED>
<!ELEMENT Sequent %sequent;>
<!ATTLIST Sequent
<!-- Explicit named substitutions: -->
-<!ELEMENT instantiate ((CONST|MUTIND|MUTCONSTRUCT),arg+)>
+<!ELEMENT instantiate ((CONST|MUTIND|MUTCONSTRUCT|VAR),arg+)>
<!ATTLIST instantiate
id ID #IMPLIED>