diff -r bfe45b716dfc -r 2fbe5ce9845f src/HOL/Isar_examples/README.html
--- a/src/HOL/Isar_examples/README.html Tue Oct 05 18:16:26 1999 +0200
+++ b/src/HOL/Isar_examples/README.html Tue Oct 05 18:16:41 1999 +0200
@@ -13,11 +13,5 @@
the Isabelle/Isar page
for more information.
-
-
-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.
-