<?xml version='1.0' encoding='iso-8859-1' ?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><!-- $Id$ --><html xmlns="http://www.w3.org/1999/xhtml"><head> <title>Documentation</title> <?include file="//include/htmlheader.include.html"?></head><body> <?include file="//include/header.include.html"?> <div class="hr"><hr/></div> <?include file="//include/navigation.include.html"?> <div class="hr"><hr/></div> <div id="content"> <h2>Getting started</h2> <a href="//img/tutorial_cover_big.gif"> <img class="right" src="//img/tutorial_cover_small.gif" alt="Cover " width="83" height="125"/> </a> <p>For getting started with Isabelle quickly, we recommend the <a href= "//dist/packages/Isabelle/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a> (published by Springer Verlag as <a href= "http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>) and the <a href= "#course_material">course material</a>.</p> <br clear="right" /> <h2>Mailing list and FAQ</h2> <p>You may use the mailing list <a href= "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to discuss problems and results. To subscribe, <a href= "mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe"> contact our robot</a>.</p> <p>Please consult the <a href="http://isabelle.in.tum.de/faq.html">FAQ</a> for answers to frequent problems.</p> <h2>Isabelle Documentation</h2> <p><?value key="distname"?> documentation is included here as browsable PDF for convenience. These documents are also part of the standard Isabelle distribution.</p> <?include file="//include/documentationdist.include.html"?> <h3>Release notes</h3> <ul> <li><a href="//dist/packages/Isabelle/ANNOUNCE">ANNOUNCE</a></li> <li><a href="//dist/packages/Isabelle/README.html">README</a></li> <li><a href="//dist/packages/Isabelle/INSTALL">INSTALL</a></li> <li><a href="//dist/packages/Isabelle/NEWS">NEWS</a></li> <!-- <li><a href="//dist/packages/Isabelle/COPYRIGHT">COPYRIGHT</a></li> --> <!-- <li><a href="//dist/packages/Isabelle/CONTRIBUTORS">CONTRIBUTORS</a></li> --> </ul> <h2 id="course_material">Course Material and Exercises</h2> <p>The <a href= "http://isabelle.in.tum.de/coursematerial/">course material</a> page makes slides, demos, and exercises of a growing number of Isabelle courses available. It is meant as a resource for people who would like to learn Isabelle as well as for those who would like to teach it.</p> </div> <div class="hr"><hr/></div> <?include file="//include/footer.include.html"?></body></html>