Structured proofs in Isar/HOL (2002)

by Tobias Nipkow
Venue:of Lecture Notes in Computer Science