1.1 --- a/src/HOL/Hoare/Hoare.ML	Mon Mar 27 21:13:23 2000 +0200
     1.2 +++ b/src/HOL/Hoare/Hoare.ML	Mon Mar 27 21:41:19 2000 +0200
     1.3 @@ -225,4 +225,4 @@
     1.4  
     1.5  val hoare_setup =
     1.6   [Method.add_methods
     1.7 -  [("hoare_vcg", Method.no_args hoare_method, "verification condition generator for Hoare logic")]];
     1.8 +  [("hoare", Method.no_args hoare_method, "verification condition generator for Hoare logic")]];