Code generator for datatypes now also generates suitable term_of functions (when term_of mode is switched on).
Code generator for datatypes now also generates suitable term_of functions (when
term_of mode is switched on).

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle