Calculational reasoning revisited (an Isabelle/Isar experience (2001)

by Gertrud Bauer, Markus Wenzel
Venue:Theorem Proving in Higher Order Logics: TPHOLs 2001, LNCS 2152