M.: Local theory specifications in Isabelle/Isar (0)

by F Haftmann, Wenzel
Venue:In: Types for Proofs and Programs, TYPES 2008 International Workshop, Selected Papers. LNCS (2009