# HG changeset patch
# User wenzelm
# Date 954186079 -7200
# Node ID b9814ce3a1da18eccbf7ab7f1f89dc197423e717
# Parent  b2ef22670f25f39eaadb870c560103e46b6cfa28
renamed 'hoare_vcg' to 'hoare';

diff -r b2ef22670f25 -r b9814ce3a1da src/HOL/Hoare/Hoare.ML
--- a/src/HOL/Hoare/Hoare.ML	Mon Mar 27 21:13:23 2000 +0200
+++ b/src/HOL/Hoare/Hoare.ML	Mon Mar 27 21:41:19 2000 +0200
@@ -225,4 +225,4 @@
 
 val hoare_setup =
  [Method.add_methods
-  [("hoare_vcg", Method.no_args hoare_method, "verification condition generator for Hoare logic")]];
+  [("hoare", Method.no_args hoare_method, "verification condition generator for Hoare logic")]];