generate raw induction rule as instance of generic rule with careful treatment of currying
generate raw induction rule as instance of generic rule with careful treatment of currying

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