Technical reports

A preliminary users manual for Isabelle

Lawrence C. Paulson

May 1988, 81 pages

DOI: 10.48456/tr-133

Abstract

This is an early report on the theorem prover Isabelle and several of its object-logics. It describes Isabelle’s operations, commands, data structures, and organization. This information is fairly low-level, but could benefit Isabelle users and implementors of other systems.

Full text

PDF (0.3 MB)
DVI (0.1 MB)

BibTeX record

@TechReport{UCAM-CL-TR-133,
  author =	 {Paulson, Lawrence C.},
  title = 	 {{A preliminary users manual for Isabelle}},
  year = 	 1988,
  month = 	 may,
  url = 	 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-133.pdf},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-133},
  number = 	 {UCAM-CL-TR-133}
}