menu_bookpdfIsabelle/HOLIsabelle/HOL - A Proof Assistant for Higher-Order LogicMarkus Wenzel (PDF)EnglishRead