# HG changeset patch
# User wenzelm
# Date 1132830896 -3600
# Node ID 1287b15f27ef8652a8c94662267bb9df3ba409f3
# Parent  2215049cd29cfd6fc4774f48164e5f8b12bb3c3d
fixed spelling of 'case_conclusion';

diff -r 2215049cd29c -r 1287b15f27ef src/Pure/Isar/attrib.ML
--- 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"),