isabelle: Admin/index.html@36ef28482123 (annotated)

4541 36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	1
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	2	<html>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	3
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	4	<!-- $Id$ -->
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	5
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	6	<head>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	7	<title>Isabelle Distribution Area</title>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	8	</head>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	9
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	10	<body>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	11
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	12	<h1><a href="http://www.cl.cam.ac.uk/Research/HVG/isabelle.html"><img
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	13	align=bottom src="Isabelle_07-Jan-1998/lib/logo/isabelle.gif"
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	14	width=100 alt="Isabelle"></a> Distribution Area</h1>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	15
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	16	<p><hr><p>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	17
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	18	<h2>Mirror sites</h2>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	19	<ul>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	20
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	21	<li> <a href="">Cambridge (UK)</a>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	22
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	23	<li> <a
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	24	href="http://www4.informatik.tu-muenchen.de/~isabelle/dist/">Munich
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	25	(Germany)</a>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	26
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	27	<li> <a href="">New Jersey (USA)</a>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	28
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	29	</ul>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	30
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	31	<p><hr><p>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	32
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	33	<h2>Isabelle releases</h2>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	34
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	35	<ul>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	36
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	37	<li> <a
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	38	href="Isabelle_07-Jan-1998.tar.gz"><strong>Isabelle_07-Jan-1998</strong></a>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	39	<img src="new.gif" alt="[new]"> - sneak preview of the forthcoming
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	40	Isabelle98 release: <a
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	41	href="Isabelle_07-Jan-1998/README.html">README</a>, <a
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	42	href="Isabelle_07-Jan-1998.tar.gz">archive</a> (1895K), same <a
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	43	href="Isabelle_07-Jan-1998">unpacked</a> (8019K).
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	44
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	45	<p> Isabelle documentation (as included in the distribution):
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	46	<ul>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	47
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	48	<li> <a href="Isabelle_07-Jan-1998/doc/intro.dvi">Introduction to Isabelle</a>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	49	<li> <a href="Isabelle_07-Jan-1998/doc/ref.dvi">The Isabelle Reference Manual</a>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	50	<li> <a href="Isabelle_07-Jan-1998/doc/system.dvi">The Isabelle System Manual</a>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	51	<li> <a href="Isabelle_07-Jan-1998/doc/logics.dvi">Isabelle's Object-Logics</a>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	52	<li> <a href="Isabelle_07-Jan-1998/doc/ind-defs.dvi">(Co)Inductive Definitions in ZF</a>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	53	<li> <a href="Isabelle_07-Jan-1998/doc/axclass.dvi">Tutorial on Axiomatic Type Classes</a>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	54
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	55	</ul>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	56
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	57	<p>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	58
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	59	<li> Past releases (from Cambridge): <a
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	60	href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-8.tar.gz">Isabelle-94
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	61	revision 8</a> \| <a
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	62	href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-7.tar.gz">Isabelle-94
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	63	revision 7</a> \| <a
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	64	href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-6.tar.gz">Isabelle-94
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	65	revision 6</a> \| <a
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	66	href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94.tar.gz">Isabelle-94</a> \|
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	67	<a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle93.tar.gz">Isabelle-93</a>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	68
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	69	</ul>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	70
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	71	<p><hr><p>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	72
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	73	</body>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	74
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	75	</html>

author	wenzelm
	Thu, 08 Jan 1998 18:28:03 +0100
changeset 4541	36ef28482123
child 4549	aa02667fb3da
permissions	-rw-r--r--