--- a/src/HOL/ex/README.html Mon Aug 30 14:43:29 2004 +0200
+++ b/src/HOL/ex/README.html Mon Aug 30 14:56:20 2004 +0200
@@ -7,8 +7,8 @@
features of Isabelle/HOL.
<UL>
-<LI>File <A HREF="cla.ML"><KBD>cla.ML</KBD></A> demonstrates the
-power of Isabelle's classical reasoner.
+<LI><A HREF="Classical.thy"><KBD>Classical</KBD></A> demonstrates the power
+of Isabelle's classical reasoner.
<LI>Files <A HREF="mesontest.ML"><KBD>mesontest.ML</KBD></A> and
<A HREF="mesontest2.ML"><KBD>mesontest2.ML</KBD></A> present an