Structured Proofs in Isar/HOL (0)

by Tobias Nipkow
Venue:Types for Proofs and Programs (TYPES 2002), volume 2646 of Lecture Notes in Computer Science