| 2006 |
|---|
| 10 | EE | Markus Wenzel,
Larry Paulson:
Isabelle/Isar.
The Seventeen Provers of the World 2006: 41-49 |
| 2002 |
|---|
| 9 | | Tobias Nipkow,
Lawrence C. Paulson,
Markus Wenzel:
Isabelle/HOL - A Proof Assistant for Higher-Order Logic
Springer 2002 |
| 8 | | Markus Wenzel,
Freek Wiedijk:
A Comparison of Mizar and Isar.
J. Autom. Reasoning 29(3-4): 389-411 (2002) |
| 2001 |
|---|
| 7 | EE | Gertrud Bauer,
Markus Wenzel:
Calculational Reasoning Revisited (An Isabelle/Isar Experience).
TPHOLs 2001: 75-90 |
| 1999 |
|---|
| 6 | EE | Florian Kammüller,
Markus Wenzel,
Lawrence C. Paulson:
Locales - A Sectioning Concept for Isabelle.
TPHOLs 1999: 149-166 |
| 5 | EE | Markus Wenzel:
Isar - A Generic Interpretative Approach to Readable Formal Proof Documents.
TPHOLs 1999: 167-184 |
| 4 | EE | Stefan Berghofer,
Markus Wenzel:
Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering.
TPHOLs 1999: 19-36 |
| 3 | EE | Gertrud Bauer,
Markus Wenzel:
Computer-Assisted Mathematics at Work (The Hahn-Banach Theorem in Isabelle/Isar).
TYPES 1999: 61-76 |
| 1998 |
|---|
| 2 | | Wolfgang Naraschewski,
Markus Wenzel:
Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic.
TPHOLs 1998: 349-366 |
| 1997 |
|---|
| 1 | | Markus Wenzel:
Type Classes and Overloading in Higher-Order Logic.
TPHOLs 1997: 307-322 |
