Locales and locale expressions in Isabelle/Isar (0)

by Clemens Ballarin
Venue:Types for Proofs and Programs, International Workshop, TYPES 2003