Locales: A sectioning concept for Isabelle (1999)

by Florian Kammüller, Markus Wenzel, Lawrence C Paulson
Venue:In Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ’99), volume 1690 of LNCS