equal
deleted
inserted
replaced
3 |
3 |
4 %body% |
4 %body% |
5 |
5 |
6 <!-- _GP_ distname --> documentation is included here as browsable PDF |
6 <!-- _GP_ distname --> documentation is included here as browsable PDF |
7 for convenience. These documents are also part of the standard |
7 for convenience. These documents are also part of the standard |
8 Isabelle <a href="dist/index.html">distribution</a>. |
8 Isabelle <a href="dist/index.html">distribution</a>. For getting |
|
9 started with Isabelle quickly, we recommend the |
|
10 <a href="dist/<!-- _GP_ distname -->/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a> -- |
|
11 published by Springer Verlag as <a |
|
12 href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>. |
9 |
13 |
10 <!-- _GP_ include("$pwd/docu-contents.main") --> |
14 <!-- _GP_ include("$pwd/docu-contents.main") --> |