Accelerating the world's research. The isabelle framework Lawrence Paulson Theorem Proving in Higher Order Logics Cite this paper Get the citation in MLA, APA, or Chicago styles Downloaded from Academia.edu  Related papers Formalizing soundness of contextual effects Michael Hicks Automation for Interactive Proof: Techniques, Lessons and Prospects Lawrence Paulson Quantiﬁer Elimination for Approximate Factorization of Linear Partial Differential Operators Elena Kartashova Download a PDF Pack of the best related papers 