etc/trac/trac-200.thy


1
2
3
4
5
6
7
8
9
10
11
12
13

theory Trac200 imports Main begin

(* Test simulating sledgehammer asynchronous output *)

ML {* Thread.fork (fn () =>
  (OS.Process.sleep (Time.fromSeconds 3); priority "urgent message"), []) *}

(* Want to preserve correct term output *)

term "x"

end