|
lcp@104
|
1 |
Isabelle Reference Manual. Report 283
|
|
lcp@104
|
2 |
|
|
lcp@104
|
3 |
This manual is a comprehensive description of Isabelle, including all
|
|
lcp@104
|
4 |
commands, functions and packages. Functions are organized according to the
|
|
lcp@104
|
5 |
task they perform. In each section, basic functions appear before advanced
|
|
lcp@104
|
6 |
ones. The Index provides an alphabetical listing. It is intended as a
|
|
lcp@104
|
7 |
reference, not for casual reading. The manual assumes familiarity with the
|
|
lcp@104
|
8 |
basic concepts explained in Report 280, Introduction to Isabelle.
|