Technical reports

The Isabelle reference manual

Lawrence C. Paulson

February 1993, 78 pages

DOI: 10.48456/tr-283

Abstract

This manual is a comprehensive description of Isabelle, including all commands, functions and packages. It is intended for reference rather than for reading through, and is certainly not a tutorial. The manual assumes familiarity with the basic concepts explained in Introduction to Isabelle. Functions are organized by their purpose, by their operands (subgoals, tactics, theorems), and by their usefulness. In each section, basic functions appear first, then advanced functions, and finally esoteric functions.

Full text

DVI (0.2 MB)

BibTeX record

@TechReport{UCAM-CL-TR-283,
  author =	 {Paulson, Lawrence C.},
  title = 	 {{The Isabelle reference manual}},
  year = 	 1993,
  month = 	 feb,
  url = 	 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-283.dvi.gz},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-283},
  number = 	 {UCAM-CL-TR-283}
}