Structured Proofs in Isar/HOL (2003)

by Tobias Nipkow
Venue:Types for Proofs and Programs (TYPES 2002), LNCS 2646