src/Pure/Isar/attrib.ML
changeset 18243 1287b15f27ef
parent 18236 dd445f5cb28e
child 18418 bf448d999b7e
     1.1 --- a/src/Pure/Isar/attrib.ML	Thu Nov 24 00:00:20 2005 +0100
     1.2 +++ b/src/Pure/Isar/attrib.ML	Thu Nov 24 12:14:56 2005 +0100
     1.3 @@ -521,7 +521,7 @@
     1.4    ("eta_long", (eta_long, eta_long), "put theorem into eta long beta normal form"),
     1.5    ("consumes", (consumes, consumes), "number of consumed facts"),
     1.6    ("case_names", (case_names, case_names), "named rule cases"),
     1.7 -  ("case_clusion", (case_conclusion, case_conclusion), "named conclusion of rule cases"),
     1.8 +  ("case_conclusion", (case_conclusion, case_conclusion), "named conclusion of rule cases"),
     1.9    ("params", (params, params), "named rule parameters"),
    1.10    ("atomize", (no_args ObjectLogic.declare_atomize, no_args undef_local_attribute),
    1.11      "declaration of atomize rule"),