diff options
| author | David Aspinall | 2002-01-15 15:26:58 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-01-15 15:26:58 +0000 |
| commit | a4cc4787ee2baf57d8f533a5942f231c2112ec38 (patch) | |
| tree | ac66b3e0488ba87a07385ffc6a52914a2ba484d9 /isar/Example.thy | |
| parent | 44880a9e0486db03afbb462d62ccee67daf8881f (diff) | |
Describe tracing improvements.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions