Structured induction proofs in Isabelle/Isar (0)

by Makarius Wenzel
Venue:Mathematical Knowledge Management (MKM 2006), LNAI 4108