isabelle: Admin/index.html@ae3caeb19589 (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
4580 ae3caeb19589 tuned URL; wenzelm parents: 4576 diff changeset	12	<h1><a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/"><img
4549 aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	13	align=bottom src="{ISABELLE}/lib/logo/isabelle.gif" width=100
aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	14	alt="Isabelle"></a> Distribution Area</h1>
4541 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
4549 aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	18
4541 36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	19	<h2>Mirror sites</h2>
4549 aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	20
4541 36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	21	<ul>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	22
4549 aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	23	<li> <a
aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	24	href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/">Cambridge
aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	25	(UK)</a>
4541 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
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	28	href="http://www4.informatik.tu-muenchen.de/~isabelle/dist/">Munich
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	29	(Germany)</a>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	30
4576 be6b5edbca9f New Jersey inactive; wenzelm parents: 4554 diff changeset	31	<!-- <li> <a href="">New Jersey (USA)</a> -->
4541 36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	32
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	33	</ul>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	34
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	35	<p><hr><p>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	36
4549 aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	37
4541 36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	38	<h2>Isabelle releases</h2>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	39
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	40	<ul>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	41
4549 aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	42	<li> <a href="{ISABELLE}.tar.gz"><strong>{ISABELLE}</strong></a> <img
aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	43	src="{ISABELLE}/lib/images/new.gif" alt="[new]"> - sneak preview of
aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	44	the forthcoming Isabelle98 release: <a
aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	45	href="{ISABELLE}/README.html">README</a>, <a
aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	46	href="{ISABELLE}.tar.gz">archive</a> ({PACKED_SIZE}K), same <a
aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	47	href="{ISABELLE}">unpacked</a> ({UNPACKED_SIZE}K).
4541 36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	48
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	49	<p> Isabelle documentation (as included in the distribution):
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	50	<ul>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	51
4549 aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	52	<li> <a href="{ISABELLE}/doc/intro.dvi">Introduction to Isabelle</a>
aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	53	<li> <a href="{ISABELLE}/doc/ref.dvi">The Isabelle Reference Manual</a>
aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	54	<li> <a href="{ISABELLE}/doc/system.dvi">The Isabelle System Manual</a>
aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	55	<li> <a href="{ISABELLE}/doc/logics.dvi">Isabelle's Object-Logics</a>
aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	56	<li> <a href="{ISABELLE}/doc/ind-defs.dvi">(Co)Inductive Definitions in ZF</a>
aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	57	<li> <a href="{ISABELLE}/doc/axclass.dvi">Tutorial on Axiomatic Type Classes</a>
4541 36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	58
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	59	</ul>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	60
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	61	<p>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	62
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	63	<li> Past releases (from Cambridge): <a
4554 2c4b3b31a354 tuned; wenzelm parents: 4550 diff changeset	64	href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-8.tar.gz">Isabelle94-8</a>
2c4b3b31a354 tuned; wenzelm parents: 4550 diff changeset	65	\| <a
2c4b3b31a354 tuned; wenzelm parents: 4550 diff changeset	66	href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-7.tar.gz">Isabelle94-7</a>
2c4b3b31a354 tuned; wenzelm parents: 4550 diff changeset	67	\| <a
2c4b3b31a354 tuned; wenzelm parents: 4550 diff changeset	68	href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94-6.tar.gz">Isabelle94-6</a>
2c4b3b31a354 tuned; wenzelm parents: 4550 diff changeset	69	\| <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle94.tar.gz">Isabelle94</a>
2c4b3b31a354 tuned; wenzelm parents: 4550 diff changeset	70	\| <a href="ftp://ftp.cl.cam.ac.uk/ml/Isabelle93.tar.gz">Isabelle93</a>
4541 36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	71
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	72	</ul>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	73
4550 53553ccda0e6 tuned; wenzelm parents: 4549 diff changeset	74	<p><hr>
4541 36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	75
4550 53553ccda0e6 tuned; wenzelm parents: 4549 diff changeset	76	<i>{AUTHOR} {DATE}</i>
4549 aa02667fb3da automatic index.html patch; wenzelm parents: 4541 diff changeset	77
4541 36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	78	</body>
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	79
36ef28482123 index.html for Isabelle Distribution Area; wenzelm parents: diff changeset	80	</html>

author	wenzelm
	Thu, 15 Jan 1998 14:16:46 +0100
changeset 4580	ae3caeb19589
parent 4576	be6b5edbca9f
child 4632	0a365c3e4b27
permissions	-rw-r--r--