The Isabelle Framework

Makarius Wenzel Lawrence Paulson Tobias Nipkow

BibTeX:

@inproceedings{WenzelPN-TPHOLs08,
author={Makarius Wenzel and Lawrence C. Paulson and Tobias Nipkow},
title={The Isabelle Framework},
booktitle={Theorem Proving in Higher Order Logics (TPHOLs 2008)},
editor={Ait Mohamed and Munoz and Tahar},
publisher={Springer},series={LNCS},volume=5170,pages={33-38},year=2008}