equal
deleted
inserted
replaced
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 distribution. For getting started with Isabelle quickly, we |
8 Isabelle distribution. For getting started with Isabelle quickly, we |
9 recommend the <a href="tutorial.pdf">Tutorial on Isabelle/HOL</a> -- |
9 recommend the <a href="tutorial.pdf">Tutorial on Isabelle/HOL</a> -- |
10 published by Springer Verlag as <a |
10 published by Springer Verlag as <a |
11 href="http://link.springer.de/link/service/series/0558/tocs/t2283.htm">LNCS |
11 href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>. |
12 2283</a>. |
|
13 |
12 |
14 <!-- _GP_ include("$pwd/docu-contents.dist") --> |
13 <!-- _GP_ include("$pwd/docu-contents.dist") --> |
15 |
14 |
16 The Isabelle distribution also includes a few text files with further |
15 The Isabelle distribution also includes a few text files with further |
17 information about the present release and additional installation |
16 information about the present release and additional installation |