diff options
| author | David Aspinall | 2004-09-21 23:06:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-09-21 23:06:22 +0000 |
| commit | 60adb8b3c5d7bbad86e673f4b4eebcd8f00761a4 (patch) | |
| tree | b30ba3787d20efb8b0ef7dfc16401c7cd29b1ea7 /isar/Example.thy | |
| parent | 838cbe33a5caf6a1cad7372be249293103d87828 (diff) | |
Fix bug in proof-debug for GNU Emacs
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions