diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-04-12 21:42:20 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-04-12 21:42:20 +0000 |
| commit | 4a057678adcaba29c2fb05a54776c668b6fc6f27 (patch) | |
| tree | 221c0971d4111bc75ff44fd1c7968e6b101d452b /etc/isar | |
| parent | 17a7238f420d2e5022002acbc8871e0eeb5ab6f0 (diff) | |
fixed proof-mode-for-goals;
Diffstat (limited to 'etc/isar')
0 files changed, 0 insertions, 0 deletions