doc-src/Ref/abstract.txt
author wenzelm
Wed, 25 Aug 1999 20:49:02 +0200
changeset 7357 d0e16da40ea2
parent 104 d8205bb279a7
permissions -rw-r--r--
proper bootstrap of HOL theory and packages;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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.