diff options
| author | David Aspinall | 2002-09-04 17:16:53 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-09-04 17:16:53 +0000 |
| commit | b8e12b646b1e944dc61e4eb4a2b39d52b69d0447 (patch) | |
| tree | 5be8227fb9831aaf85741740b7f1a5f1be517267 /isar/Example.thy | |
| parent | 457d2f8017e06e089425d4106e1dc51b7a3d029c (diff) | |
generic/proof-menu: move electric terminator, show specific; Help menu items only if prover configured.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions