L.C. Paulson (1992): The Isabelle Reference Manual

Title:	The Isabelle Reference Manual
Author(s):	L.C. Paulson
Year:	1992

Concepts