<!-- CIC sorts -->
-<!ENTITY % sort '(Prop|Set|Type)'>
+<!ENTITY % sort '(Prop|Set|Type|CProp)'>
<!-- CIC sequents -->
<!-- Explicit named substitutions: -->
-<!ELEMENT instantiate ((CONST|MUTIND|MUTCONSTRUCT),arg+)>
+<!ELEMENT instantiate ((CONST|MUTIND|MUTCONSTRUCT|VAR),arg+)>
<!ATTLIST instantiate
id ID #IMPLIED>