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.
fixed spelling of 'case_conclusion';
authorwenzelm
Thu, 24 Nov 2005 12:14:56 +0100
changeset 18243 1287b15f27ef
parent 18242 2215049cd29c
child 18244 694648741d5a
fixed spelling of 'case_conclusion';
src/Pure/Isar/attrib.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/attrib.ML	Thu Nov 24 00:00:20 2005 +0100
+++ b/src/Pure/Isar/attrib.ML	Thu Nov 24 12:14:56 2005 +0100
@@ -521,7 +521,7 @@
   ("eta_long", (eta_long, eta_long), "put theorem into eta long beta normal form"),
   ("consumes", (consumes, consumes), "number of consumed facts"),
   ("case_names", (case_names, case_names), "named rule cases"),
-  ("case_clusion", (case_conclusion, case_conclusion), "named conclusion of rule cases"),
+  ("case_conclusion", (case_conclusion, case_conclusion), "named conclusion of rule cases"),
   ("params", (params, params), "named rule parameters"),
   ("atomize", (no_args ObjectLogic.declare_atomize, no_args undef_local_attribute),
     "declaration of atomize rule"),
isabelle