1 files changed, 13 insertions, 0 deletions
diff --git a/etc/trac/trac-200.thy b/etc/trac/trac-200.thy
new file mode 100644
index 00000000..96a0c177
--- /dev/null
+++ b/etc/trac/trac-200.thy
@@ -0,0 +1,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
+