diff options
| author | David Aspinall | 2009-08-17 16:17:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-17 16:17:15 +0000 |
| commit | 23f05bb0f2722b2d871430ea2348a73a8b1ad3f8 (patch) | |
| tree | 42046f28615007b7664704faaaae3bb1d8d51db9 /isar/Example.thy | |
| parent | 6ddf4726b6033ef0d61b3e235d6f26d8564f2492 (diff) | |
Fix proof-next-error key binding
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions