diff options
| author | David Aspinall | 2009-09-05 10:34:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-05 10:34:50 +0000 |
| commit | f43b78bcecd896c0873da71a3fdee0f311755aef (patch) | |
| tree | 78224ccc7f426bc0e9290dca048560dae45c411b /etc/trac/trac-200.thy | |
| parent | d50850ec41a618b8a5aa56167909b901aa8ed961 (diff) | |
Add bug ref
Diffstat (limited to 'etc/trac/trac-200.thy')
| -rw-r--r-- | etc/trac/trac-200.thy | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/trac/trac-200.thy b/etc/trac/trac-200.thy index 96a0c177..fabd04f6 100644 --- a/etc/trac/trac-200.thy +++ b/etc/trac/trac-200.thy @@ -1,3 +1,4 @@ +(* See trac #200 *) theory Trac200 imports Main begin (* Test simulating sledgehammer asynchronous output *) |