diff -r cc038dc8f412 -r 8f35633c4922 src/HOL/Isar_examples/README.html
--- a/src/HOL/Isar_examples/README.html Tue Oct 20 19:36:52 2009 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,21 +0,0 @@
-
-
-
-
-
-
-
-
- HOL/Isar_examples
-
-
-
-HOL/Isar_examples
-
-Isar offers a new high-level proof (and theory) language interface to
-Isabelle. This directory contains some example Isar documents. See
-also the included document, or the Isabelle/Isar page for more
-information.
-
-