diff options
| author | David Aspinall | 2012-02-08 18:14:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2012-02-08 18:14:23 +0000 |
| commit | f0a784052b42a46827f0c1d89046d2c5b5f2c7d1 (patch) | |
| tree | f4cd972753809d748f308f5d8914eee476243fa4 /isar/Example.thy | |
| parent | b794252aab2673cc60ecbfcc8fe8bf454e5468ea (diff) | |
Tweak output strings and prompt matching
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions