doc-src/Ref/abstract.txt
author oheimb
Wed, 12 Nov 1997 18:58:50 +0100
changeset 4223 f60e3d2c81d3
parent 104 d8205bb279a7
permissions -rw-r--r--
added thin_refl to hyp_subst_tac
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.