# HG changeset patch
# User webertj
# Date 1093870580 -7200
# Node ID 67f9c38557150d1f72a6411d6176a518971ddbe5
# Parent  66f0584aa7147f17b1c62f2741c5830c6b718615
reference to cla.ML replaced by Classical.thy

diff -r 66f0584aa714 -r 67f9c3855715 src/HOL/ex/README.html
--- 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