The Isabelle Framework

Cite this paper

@inproceedings{Wenzel2008TheIF, title={The Isabelle Framework}, author={Markus Wenzel and Lawrence C. Paulson and Tobias Nipkow}, booktitle={TPHOLs}, year={2008} }