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