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

by Clemens Ballarin
Venue:Mathematical Knowledge Management, 5th International Conference, MKM 2006