Structured Proofs in Isar/HOL (2002)

by T Nipkow
Venue:TYPES conference