Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Lifting/lifting_setup.ML
changeset 50214 67fb9a168d10
parent 50176 701747176952
child 50231 81a067b188b8 
--- a/src/HOL/Tools/Lifting/lifting_setup.ML	Mon Nov 26 13:54:43 2012 +0100
+++ b/src/HOL/Tools/Lifting/lifting_setup.ML	Mon Nov 26 14:43:28 2012 +0100
@@ -266,7 +266,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;
isabelle