Structure smlTimeout


Source File Identifier index Theory binding index

signature smlTimeout =
sig

  include Abbrev

  exception FunctionTimeout
  val timeout : real -> ('a -> 'b) -> 'a -> 'b
  val timeout_tactic : real -> tactic -> goal -> goal list option

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13