equal
deleted
inserted
replaced
|
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. |