Report copyright - Locales: a Module System for Mathematical Theoriesballarin/publications/jar2013.pdfAlso Isabelle’s class package uses locales [10]. Locales provide some of the automation that makes
Please pass captcha verification before submit form