changeset 50231 | 81a067b188b8 |
parent 50227 | 01d545993e8c |
parent 50214 | 67fb9a168d10 |
child 50288 | 986598b0efd1 |
--- a/src/HOL/Tools/Lifting/lifting_setup.ML Mon Nov 26 16:01:04 2012 +0100 +++ b/src/HOL/Tools/Lifting/lifting_setup.ML Mon Nov 26 17:13:44 2012 +0100 @@ -309,7 +309,7 @@ val _ = Outer_Syntax.local_theory @{command_spec "setup_lifting"} - "Setup lifting infrastructure" + "setup lifting infrastructure" (opt_gen_code -- Parse_Spec.xthm -- Scan.option Parse_Spec.xthm >> (fn ((gen_code, xthm), opt_reflp_xthm) => setup_lifting_cmd gen_code xthm opt_reflp_xthm)) end;