src/Tools/try.ML

               val state = Toplevel.proof_of st
                 |> Proof.map_context (Context_Position.set_visible false)
               val auto_time_limit = Options.default_real @{system_option auto_time_limit}
             in
               if auto_time_limit > 0.0 then
-                (case TimeLimit.timeLimit (seconds auto_time_limit) (fn () => tool true state) () of
+                (case Timeout.apply (seconds auto_time_limit) (fn () => tool true state) () of
                   (true, (_, outcome)) => List.app Output.information outcome
                 | _ => ())
               else ()
             end handle exn => if Exn.is_interrupt exn then Exn.reraise exn else ()}
       else NONE)