<html>
<!-- $Id$ -->
<head>
<title>Isabelle Distribution Area</title>
</head>
<body>
<h1><a href="http://www.cl.cam.ac.uk/Research/HVG/isabelle.html"><img
align=bottom src="Isabelle_07-Jan-1998/lib/logo/isabelle.gif"
width=100 alt="Isabelle"></a> Distribution Area</h1>
<p><hr><p>
<h2>Mirror sites</h2>
<ul>
<li> <a href="">Cambridge (UK)</a>
<li> <a
href="http://www4.informatik.tu-muenchen.de/~isabelle/dist/">Munich
(Germany)</a>
<li> <a href="">New Jersey (USA)</a>
</ul>
<p><hr><p>
<h2>Isabelle releases</h2>
<ul>
<li> <a
href="Isabelle_07-Jan-1998.tar.gz"><strong>Isabelle_07-Jan-1998</strong></a>
<img src="new.gif" alt="[new]"> - sneak preview of the forthcoming
Isabelle98 release: <a
href="Isabelle_07-Jan-1998/README.html">README</a>, <a
href="Isabelle_07-Jan-1998.tar.gz">archive</a> (1895K), same <a
href="Isabelle_07-Jan-1998">unpacked</a> (8019K).
<p> Isabelle documentation (as included in the distribution):
<ul>
<li> <a href="Isabelle_07-Jan-1998/doc/intro.dvi">Introduction to Isabelle</a>
<li> <a href="Isabelle_07-Jan-1998/doc/ref.dvi">The Isabelle Reference Manual</a>
<li> <a href="Isabelle_07-Jan-1998/doc/system.dvi">The Isabelle System Manual</a>
<li> <a href="Isabelle_07-Jan-1998/doc/logics.dvi">Isabelle's Object-Logics</a>
<li> <a href="Isabelle_07-Jan-1998/doc/ind-defs.dvi">(Co)Inductive Definitions in ZF</a>
<li> <a href="Isabelle_07-Jan-1998/doc/axclass.dvi">Tutorial on Axiomatic Type Classes</a>
</ul>
<p>
<li> Past releases (from Cambridge): <a
href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-8.tar.gz">Isabelle-94
revision 8</a> | <a
href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-7.tar.gz">Isabelle-94
revision 7</a> | <a
href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-6.tar.gz">Isabelle-94
revision 6</a> | <a
href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94.tar.gz">Isabelle-94</a> |
<a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle93.tar.gz">Isabelle-93</a>
</ul>
<p><hr><p>
</body>
</html>