diff options
| author | David Aspinall | 2009-09-14 07:28:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-14 07:28:40 +0000 |
| commit | e0a9e03108fe9baede625b2734509677f462dac8 (patch) | |
| tree | 06ef069eae9cf71ac575a82091c24eb199c77fc9 /isar/Example.thy | |
| parent | 38e77013e487f2378223c6eeb3edc3689ceed477 (diff) | |
Engage which-function mode with imenu. Move insert-electric-terminator to proof-script
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions