This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
David Parnas. Some theorems we should prove. In Higher Order Logic and its Applications, 1993.
Lawrence Paulson. Introduction to Isabelle. Technical Report 280, University of Cambridge, Computer Lab, 1993.
Lawrence Paulson. The Isabelle reference manual. Technical Report 283, University of Cambridge, Computer Lab, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kalvala, S. (1994). Using Isabelle to prove simple theorems. In: Joyce, J.J., Seger, CJ.H. (eds) Higher Order Logic Theorem Proving and Its Applications. HUG 1993. Lecture Notes in Computer Science, vol 780. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57826-9_160
Download citation
DOI: https://doi.org/10.1007/3-540-57826-9_160
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57826-0
Online ISBN: 978-3-540-48346-5
eBook Packages: Springer Book Archive