Admin/website/dist/others.html
changeset 16233 e634d33deb86
child 16238 c1102cdf601f
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/website/dist/others.html	Sat Jun 04 10:26:08 2005 +0200
@@ -0,0 +1,35 @@
+<?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">
+<?cvs id="$Id$"?>
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+<head>
+    <title>Other Isabelle resources</title>
+    <?include file="//include/htmlheader.include.html"?>
+</head>
+
+<body class="dist">
+    <?include file="//include/header.include.html"?>
+    <div class="hr"><hr/></div>
+    <?include file="//include/navigation_dist.include.html"?>
+    <div class="hr"><hr/></div>
+    <div id="content">
+      <h2>More about Isabelle</h2>
+
+      <p>is available on our main pages</p>
+
+      <ul>
+        <li>at <a href=
+        "http://www.cl.cam.ac.uk/Research/HVG/Isabelle/index.html">Cambridge
+        (UK)</a></li>
+    
+        <li>at <a href="http://isabelle.in.tum.de/index.html">Munich
+        (Germany)</a></li>
+      </ul>
+
+    </div>
+    <div class="hr"><hr/></div>
+    <?include file="//include/footer.include.html"?>
+</body>
+
+</html>