Interpretation of Locales in Isabelle: Theories and Proof Contexts
Author:
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 31-43
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Modules in Coq Are and Will Be CorrectLecture Notes in Computer Science, 2004
- Locales and Locale Expressions in Isabelle/Isar2004
- Structured Proofs in Isar/HOL2003
- The Development Graph Manager MayaLecture Notes in Computer Science, 2002
- Isabelle/HOL2002
- Management of change in structured verification2000
- Locales A Sectioning Concept for Isabelle1999
- Functional unification of higher-order patterns1993
- Little theories1992
- The foundation of a generic theorem proverJournal of Automated Reasoning, 1989