Basis library input/output primitives; currying the induction rule; removing & from the induction rule
Basis library input/output primitives; currying the induction rule;
removing & from the induction rule

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