Document Versions

Isabelle's Object-Logics –Lawrence C. Paulson — 1997
Isabelle's Object-Logics –Lawrence C. Paulson, Tobias Nipkow, Markus Wenzel — 1997