diff options
| author | David Aspinall | 2002-01-15 15:05:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-01-15 15:05:15 +0000 |
| commit | 81bc37ba8e26df936d3a09e02e6ed70f8b8804a8 (patch) | |
| tree | 54a36aa434b2cb83428fa1aa69214cf4802dd5b5 /isar/Example.thy | |
| parent | 0095e9a173e1bcebc9263cb9edb89c37b285a8a4 (diff) | |
Inspect quit-flag when displaying tracing output; send an interrupt to the prover if set.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions