--- a/src/HOL/Isar_examples/README.html Fri Oct 08 16:04:42 1999 +0200
+++ b/src/HOL/Isar_examples/README.html Fri Oct 08 16:05:06 1999 +0200
@@ -10,8 +10,9 @@
Isar offers a new high-level proof (and theory) language interface to
Isabelle. This directory contains some example Isar documents. See
-the <a href="http://isabelle.in.tum.de/Isar/">Isabelle/Isar page</a>
-for more information.
+also the included document, or the <a
+href="http://isabelle.in.tum.de/Isar/">Isabelle/Isar page</a> for more
+information.
-<body>
+</body>
</html>