doc-src/Ref/abstract.txt
author wenzelm
Fri, 10 Nov 2000 19:02:37 +0100
changeset 10432 3dfbc913d184
parent 104 d8205bb279a7
permissions -rw-r--r--
added axclass inverse and consts inverse, divide (infix "/"); moved axclass power to Nat.thy;
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.