| changeset 7740 | 2fbe5ce9845f |
| parent 7006 | 46048223e0f9 |
| child 7804 | 80706fa84622 |
--- 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 <a href="http://isabelle.in.tum.de/Isar/">Isabelle/Isar page</a> for more information. -<p> - -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>