diff options
| author | David Aspinall | 2000-06-01 13:34:37 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-01 13:34:37 +0000 |
| commit | 59e1bf093e0a1f74ee261383dcf9531cb853a049 (patch) | |
| tree | 7da0faf8bca67f32cc48f37afb2c190230d222ba /isar/Example.thy | |
| parent | 77b2563d33581f6ca78e8be285391f0b60cd3dc6 (diff) | |
Made require on proof-menu instead of proof-script.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions