src/Pure/Isar/method.ML

     "repeatedly apply introduction rules" #>
   setup (Binding.name "elim") (Attrib.thms >> (K o elim))
     "repeatedly apply elimination rules" #>
   setup (Binding.name "unfold") (Attrib.thms >> unfold_meth) "unfold definitions" #>
   setup (Binding.name "fold") (Attrib.thms >> fold_meth) "fold definitions" #>
-  setup (Binding.name "atomize") (Args.mode "full" >> (K o atomize))
+  setup (Binding.name "atomize") (Scan.lift (Args.mode "full") >> (K o atomize))
     "present local premises as object-level statements" #>
   setup (Binding.name "rule") (Attrib.thms >> some_rule) "apply some intro/elim rule" #>
   setup (Binding.name "erule") (xrule_meth erule) "apply rule in elimination manner (improper)" #>
   setup (Binding.name "drule") (xrule_meth drule) "apply rule in destruct manner (improper)" #>
   setup (Binding.name "frule") (xrule_meth frule) "apply rule in forward manner (improper)" #>