equal
deleted
inserted
replaced
26 |
26 |
27 section {* Existing Documentation *} |
27 section {* Existing Documentation *} |
28 |
28 |
29 text {* |
29 text {* |
30 |
30 |
31 The following documentation about Isabelle programming already exist (they are |
31 The following documentation about Isabelle programming already exists (and is |
32 included in the distribution of Isabelle): |
32 part of the distribution of Isabelle): |
33 |
33 |
34 \begin{description} |
34 \begin{description} |
35 \item[The Implementation Manual] describes Isabelle |
35 \item[The Implementation Manual] describes Isabelle |
36 from a programmer's perspective, documenting both the underlying |
36 from a programmer's perspective, documenting both the underlying |
37 concepts and some of the interfaces. |
37 concepts and some of the interfaces. |