--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/index.html	Thu Jan 08 18:28:03 1998 +0100
@@ -0,0 +1,75 @@
+
+<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>