author | wenzelm |
Sun, 18 May 2008 15:04:41 +0200 | |
changeset 26948 | efe3e0e235d6 |
parent 104 | d8205bb279a7 |
permissions | -rw-r--r-- |
104 | 1 |
Isabelle Reference Manual. Report 283 |
2 |
||
3 |
This manual is a comprehensive description of Isabelle, including all |
|
4 |
commands, functions and packages. Functions are organized according to the |
|
5 |
task they perform. In each section, basic functions appear before advanced |
|
6 |
ones. The Index provides an alphabetical listing. It is intended as a |
|
7 |
reference, not for casual reading. The manual assumes familiarity with the |
|
8 |
basic concepts explained in Report 280, Introduction to Isabelle. |