equal
deleted
inserted
replaced
1 %title% |
|
2 Isabelle Documentation |
|
3 |
|
4 %body% |
|
5 |
|
6 <!-- _GP_ distname --> documentation is included here as browsable PDF |
|
7 for convenience. These documents are also part of the standard |
|
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> -- and the <a |
|
13 href="http://isabelle.in.tum.de/coursematerial/">course material</a> |
|
14 page. See the |
|
15 <a href="faq.html">FAQ</a> for answers to frequent problems. |
|
16 |
|
17 <!-- _GP_ include("$pwd/docu-contents.main") --> |
|