Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
renamed 'hoare_vcg' to 'hoare';
authorwenzelm
Mon, 27 Mar 2000 21:41:19 +0200
changeset 8597 b9814ce3a1da
parent 8596 b2ef22670f25
child 8598 f625793c4fff
renamed 'hoare_vcg' to 'hoare';
src/HOL/Hoare/Hoare.ML file | annotate | diff | comparison | revisions 
--- 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")]];
isabelle