| changeset 9934 | aea053733eb0 |
| parent 9920 | 9734f2717203 |
| child 10006 | ede5f78b9398 |
| 9933:9feb1e0c4cb3 | 9934:aea053733eb0 |
|---|---|
4 %body% |
4 %body% |
5 The Isabelle documentation: |
5 The Isabelle documentation: |
6 |
6 |
7 <!-- _GP_ include("$pwd/docu-contents.dist") --> |
7 <!-- _GP_ include("$pwd/docu-contents.dist") --> |
8 |
8 |
9 All this documentation is also part of the Isabelle <a |
9 All this documentation is also part of the Isabelle distribution (both |
10 href="source.html">distribution</a> (both as dvi and pdf). |
10 as dvi and pdf). |