diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-07-06 11:32:36 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-06 11:32:36 +0000 |
| commit | 5d1eb7c5ca8d5eda74b3212f7447056605bcbdaf (patch) | |
| tree | 8d2e42b3e5a3636877cffb1239e36f8034b01372 /etc/trac | |
| parent | c56b7d9cc2e1768242a78df8287623fd27f41461 (diff) | |
New files.
Diffstat (limited to 'etc/trac')
| -rw-r--r-- | etc/trac/trac-200.thy | 13 |
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 + |