| changeset 9920 | 9734f2717203 |
| parent 8056 | 3c587e7b8fe5 |
| child 9934 | aea053733eb0 |
| 9919:3cf12ab0b8ac | 9920:9734f2717203 |
|---|---|
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 href="source.html">distribution</a>. |
9 All this documentation is also part of the Isabelle <a |
10 href="source.html">distribution</a> (both as dvi and pdf). |