1.1 --- a/src/HOL/Tools/Lifting/lifting_setup.ML	Wed Apr 04 11:15:54 2012 +0200
     1.2 +++ b/src/HOL/Tools/Lifting/lifting_setup.ML	Wed Apr 04 10:38:04 2012 +0200
     1.3 @@ -13,7 +13,7 @@
     1.4    val setup_by_typedef_thm: thm -> local_theory -> local_theory
     1.5  end;
     1.6  
     1.7 -structure Lifting_Seup: LIFTING_SETUP =
     1.8 +structure Lifting_Setup: LIFTING_SETUP =
     1.9  struct
    1.10  
    1.11  infix 0 MRSL