* removed "axioms" and "generated by" section
* replaced "ops" section by extended "consts" section, which is capable of
handling the continuous function space "->" directly
* domain package: now uses normal mixfix annotations (instead of cinfix...)
(*Dummy theory to document dependencies *)
coinductive = "ind_syntax" + "intr_elim"