Interpretation of locales in Isabelle: Theories and proof contexts (0)

by C Ballarin
Venue:Mathematical Knowledge Management (MKM 2006), LNAI