--- /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>