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}