--- a/src/HOL/Isar_examples/README.html Wed Jul 14 13:07:09 1999 +0200
+++ b/src/HOL/Isar_examples/README.html Wed Jul 14 13:32:21 1999 +0200
@@ -15,9 +15,9 @@
<p>
-Note that the theory files are basically the plain ASCII sources of
-what is meant to be actual typeset documents. Automatic LaTeX / PDF
-pretty printing is not yet available.
+Note that the theory files are basically just plain ASCII sources of
+what are meant to be actual typeset documents. Automatic LaTeX / PDF
+pretty printing will be available in the near future.
<body>
</html>