|
16673
|
1 |
<?xml version='1.0' encoding='iso-8859-1' ?>
|
|
|
2 |
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
|
3 |
<!-- $Id$ -->
|
|
|
4 |
<html xmlns="http://www.w3.org/1999/xhtml">
|
|
|
5 |
|
|
|
6 |
<head>
|
|
|
7 |
<title>Documentation</title>
|
|
|
8 |
<?include file="//include/htmlheader.include.html"?>
|
|
|
9 |
</head>
|
|
|
10 |
|
|
16674
|
11 |
<body>
|
|
16673
|
12 |
<?include file="//include/header.include.html"?>
|
|
|
13 |
<div class="hr"><hr/></div>
|
|
|
14 |
<?include file="//include/navigation.include.html"?>
|
|
|
15 |
<div class="hr"><hr/></div>
|
|
|
16 |
|
|
|
17 |
<div id="content">
|
|
16674
|
18 |
|
|
16673
|
19 |
<h2>Getting started</h2>
|
|
|
20 |
|
|
17563
|
21 |
<a href="//img/tutorial_cover_big.gif">
|
|
|
22 |
<img class="right" src="//img/tutorial_cover_small.gif" alt="Cover "
|
|
16673
|
23 |
width="83" height="125"/>
|
|
|
24 |
</a>
|
|
|
25 |
<p>For getting started with Isabelle quickly, we recommend the <a href=
|
|
17671
|
26 |
"//dist/Isabelle/doc/tutorial.pdf">Tutorial on
|
|
16673
|
27 |
Isabelle/HOL</a> (published by Springer Verlag as <a href=
|
|
|
28 |
"http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>) and the <a href=
|
|
|
29 |
"#course_material">course material</a>.</p>
|
|
17563
|
30 |
<br clear="right" />
|
|
16673
|
31 |
|
|
|
32 |
<h2>Mailing list and FAQ</h2>
|
|
|
33 |
|
|
|
34 |
<p>You may use the mailing list <a href=
|
|
|
35 |
"mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its
|
|
|
36 |
<a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to discuss
|
|
|
37 |
problems and results. To subscribe, <a href=
|
|
16926
|
38 |
"mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe">
|
|
|
39 |
contact our robot</a>.</p>
|
|
16673
|
40 |
<p>Please consult the <a href="http://isabelle.in.tum.de/faq.html">FAQ</a> for answers to frequent
|
|
|
41 |
problems.</p>
|
|
|
42 |
|
|
|
43 |
<h2>Isabelle Documentation</h2>
|
|
|
44 |
|
|
|
45 |
<p><?value key="distname"?> documentation is
|
|
|
46 |
included here as browsable PDF for convenience. These documents are also part
|
|
|
47 |
of the standard Isabelle distribution.</p>
|
|
|
48 |
|
|
|
49 |
<?include file="//include/documentationdist.include.html"?>
|
|
|
50 |
|
|
|
51 |
<h3>Release notes</h3>
|
|
|
52 |
|
|
|
53 |
<ul>
|
|
17671
|
54 |
<li><a href="//dist/Isabelle/ANNOUNCE">ANNOUNCE</a></li>
|
|
|
55 |
<li><a href="//dist/Isabelle/README.html">README</a></li>
|
|
|
56 |
<li><a href="//dist/Isabelle/INSTALL">INSTALL</a></li>
|
|
|
57 |
<li><a href="//dist/Isabelle/NEWS">NEWS</a></li>
|
|
|
58 |
<li><a href="//dist/Isabelle/COPYRIGHT">COPYRIGHT</a></li>
|
|
|
59 |
<li><a href="//dist/Isabelle/CONTRIBUTORS">CONTRIBUTORS</a></li>
|
|
16673
|
60 |
</ul>
|
|
|
61 |
|
|
|
62 |
<h2 id="course_material">Course Material and Exercises</h2>
|
|
|
63 |
<p>The <a href=
|
|
|
64 |
"http://isabelle.in.tum.de/coursematerial/">course material</a> page makes
|
|
|
65 |
slides, demos, and exercises of a growing number of Isabelle courses
|
|
|
66 |
available. It is meant as a resource for people who would like to learn
|
|
|
67 |
Isabelle as well as for those who would like to teach it.</p>
|
|
|
68 |
|
|
|
69 |
</div>
|
|
|
70 |
<div class="hr"><hr/></div>
|
|
|
71 |
<?include file="//include/footer.include.html"?>
|
|
|
72 |
</body>
|
|
|
73 |
|
|
|
74 |
</html>
|