diff options
| author | Christophe Raffalli | 2000-09-15 13:56:04 +0000 |
|---|---|---|
| committer | Christophe Raffalli | 2000-09-15 13:56:04 +0000 |
| commit | 5a9c3db81dae62d735af992b4b5304440548fee4 (patch) | |
| tree | 85ff8cc9ed7eeb003edf16cef86bd065a25f8850 /isar/interface | |
| parent | 40d4ccebf9a35aa65ad163a1527405196c1710c4 (diff) | |
added proof-retract-current-goal
Diffstat (limited to 'isar/interface')
0 files changed, 0 insertions, 0 deletions