# HG changeset patch
# User webertj
# Date 1100270965 -3600
# Node ID 25dc2f17661b5efc2b510b4bd58cd2dc59f49f5b
# Parent eb649b6dbf1560a9f3c10b9197d47d743b84dd18
added DOCTYPE and Content-Type declarations to make this a valid HTML file
diff -r eb649b6dbf15 -r 25dc2f17661b README.html
--- 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 @@
+
+
-The Isabelle System Distribution
+
+ The Isabelle System Distribution
@@ -128,8 +131,8 @@
Tobias Nipkow
-Institut für Informatik
-Technische Universität München
+Institut fr Informatik
+Technische Universit� Mnchen
Boltzmannstr. 3
D-85748 Garching
Germany