Interpretation of Locales in Isabelle: Theories and Proof Contexts
- 1 January 2006
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
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/IsarLecture Notes in Computer Science, 2004
- Structured Proofs in Isar/HOLLecture Notes in Computer Science, 2003
- The Development Graph Manager MayaLecture Notes in Computer Science, 2002
- Isabelle/HOLLecture Notes in Computer Science, 2002
- Management of change in structured verificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2000
- Locales A Sectioning Concept for IsabelleLecture Notes in Computer Science, 1999
- Functional unification of higher-order patternsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1993
- Little theoriesLecture Notes in Computer Science, 1992
- The foundation of a generic theorem proverJournal of Automated Reasoning, 1989