Changed interface of rep_datatype: Characteristic theorems of datatypes are now specified by xstrings.
Changed interface of rep_datatype: Characteristic theorems
of datatypes are now specified by xstrings.

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