1.1 --- a/src/Pure/Isar/method.ML	Sun Mar 07 11:57:16 2010 +0100
     1.2 +++ b/src/Pure/Isar/method.ML	Sun Mar 07 12:19:47 2010 +0100
     1.3 @@ -171,8 +171,8 @@
     1.4  
     1.5  (* atomize rule statements *)
     1.6  
     1.7 -fun atomize false = SIMPLE_METHOD' (CHANGED_PROP o ObjectLogic.atomize_prems_tac)
     1.8 -  | atomize true = RAW_METHOD (K (HEADGOAL (CHANGED_PROP o ObjectLogic.full_atomize_tac)));
     1.9 +fun atomize false = SIMPLE_METHOD' (CHANGED_PROP o Object_Logic.atomize_prems_tac)
    1.10 +  | atomize true = RAW_METHOD (K (HEADGOAL (CHANGED_PROP o Object_Logic.full_atomize_tac)));
    1.11  
    1.12  
    1.13  (* this -- resolve facts directly *)