Locales: A sectioning concept for Isabelle (1999)

by F Kammüller, M Wenzel, L C Paulson
Venue:Theorem Proving in Higher Order Logics: TPHOLs’99