Isar: 'induct' proper support for mutual induction involving   non-atomic rule statements; Isar/Pure: support multiple simultaneous goal statements;
Isar: 'induct' proper support for mutual induction involving
  non-atomic rule statements;
Isar/Pure: support multiple simultaneous goal statements;

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