isabelle: doc-src/Ref/abstract.txt@9c5edbf5eefd (annotated)

104 d8205bb279a7 Initial revision lcp parents: diff changeset	1	Isabelle Reference Manual. Report 283
d8205bb279a7 Initial revision lcp parents: diff changeset	2
d8205bb279a7 Initial revision lcp parents: diff changeset	3	This manual is a comprehensive description of Isabelle, including all
d8205bb279a7 Initial revision lcp parents: diff changeset	4	commands, functions and packages. Functions are organized according to the
d8205bb279a7 Initial revision lcp parents: diff changeset	5	task they perform. In each section, basic functions appear before advanced
d8205bb279a7 Initial revision lcp parents: diff changeset	6	ones. The Index provides an alphabetical listing. It is intended as a
d8205bb279a7 Initial revision lcp parents: diff changeset	7	reference, not for casual reading. The manual assumes familiarity with the
d8205bb279a7 Initial revision lcp parents: diff changeset	8	basic concepts explained in Report 280, Introduction to Isabelle.