From 5d1eb7c5ca8d5eda74b3212f7447056605bcbdaf Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 6 Jul 2008 11:32:36 +0000 Subject: New files. --- etc/trac/trac-200.thy | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 etc/trac/trac-200.thy (limited to 'etc/trac') 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 + -- cgit v1.2.3