Added new function add_typedef_i_no_def which doesn't add definition of representing set to theory.
Added new function add_typedef_i_no_def which doesn't add
definition of representing set to theory.

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