--- a/README.html Fri Nov 12 15:45:19 2004 +0100
+++ b/README.html Fri Nov 12 15:49:25 2004 +0100
@@ -1,9 +1,12 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
+
<html>
<!-- $Id$ -->
<head>
-<title>The Isabelle System Distribution</title>
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
+ <title>The Isabelle System Distribution</title>
</head>
<body>
@@ -128,8 +131,8 @@
<p>
<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a><br>
-Institut für Informatik<br>
-Technische Universität München<br>
+Institut fr Informatik<br>
+Technische Universit� Mnchen<br>
Boltzmannstr. 3<br>
D-85748 Garching<br>
Germany<br>