src/HOL/Hoare/Hoare.thy

--- a/src/HOL/Hoare/Hoare.thy	Tue Nov 05 15:59:17 2002 +0100
+++ b/src/HOL/Hoare/Hoare.thy	Wed Nov 06 14:01:38 2002 +0100
@@ -10,7 +10,7 @@
 *)
 
 theory Hoare  = Main
-files ("Hoare.ML"):
+files ("hoare.ML"):
 
 types
     'a bexp = "'a set"
@@ -193,7 +193,7 @@
 
 print_translation {* [("Valid", spec_tr')] *}
 
-use "Hoare.ML"
+use "hoare.ML"
 
 method_setup vcg = {*
   Method.no_args