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="<!-- _GP_ distname -->/doc/tutorial.pdf">Tutorial |
9 recommend the <a href="<!-- _GP_ distname -->/doc/tutorial.pdf">Tutorial |
10 on Isabelle/HOL</a> -- published by Springer Verlag as <a |
10 on Isabelle/HOL</a> -- published by Springer Verlag as <a |
11 href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>. See the |
11 href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a> -- and the <a |
|
12 href="http://isabelle.in.tum.de/coursematerial/">course material</a> |
|
13 page. See the |
12 <a href="http://isabelle.in.tum.de/faq.html">FAQ</a> for answers to frequent problems. |
14 <a href="http://isabelle.in.tum.de/faq.html">FAQ</a> for answers to frequent problems. |
13 |
15 |
14 <!-- _GP_ include("$pwd/docu-contents.dist") --> |
16 <!-- _GP_ include("$pwd/docu-contents.dist") --> |
15 |
17 |
16 The Isabelle distribution also includes a few text files with further |
18 The Isabelle distribution also includes a few text files with further |