* moved induct/cases attributes to Pure, added 'print_induct_rules' command;
* moved induct/cases attributes to Pure, added 'print_induct_rules' command;

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