doc-src/Ref/abstract.txt
author wenzelm
Sun, 23 Jul 2000 12:06:46 +0200
changeset 9413 ba209591a8d4
parent 104 d8205bb279a7
permissions -rw-r--r--
assimilated;
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.