Locales A Sectioning Concept for Isabelle
Authors:
- 17 September 1999
- book chapter
- Published by Springer Nature
- p. 149-165
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Modular Reasoning in IsabelleLecture Notes in Computer Science, 2000
- PVS: Combining specification, proof checking, and model checking1996
- Isabelle1994
- Larch: Languages and Tools for Formal Specification1993
- Abstract Theories in HOL1993
- IMPS: An interactive mathematical proof systemJournal of Automated Reasoning, 1993
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940