doc-src/Ref/abstract.txt
author paulson
Fri, 27 Nov 1998 13:13:22 +0100
changeset 5980 2e9314c07146
parent 104 d8205bb279a7
permissions -rw-r--r--
added Real/Hyperreal
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.