Changed interface of add_inductive: monos and con_defs are now lists of xstrings.
Changed interface of add_inductive: monos and con_defs are now
lists of xstrings.

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