omit automatic Induct.cases_pred declaration, which breaks many existing proofs
omit automatic Induct.cases_pred declaration, which breaks many existing proofs

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