diff options
| author | Healfdene Goguen | 1998-06-11 12:20:35 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-06-11 12:20:35 +0000 |
| commit | 90fa6289aff871fc53d646af37894b0ad658cd34 (patch) | |
| tree | bea31f1cc5edf15cde841215c7e7055b022a8b1d /isa/example.ML | |
| parent | 86471cef573a4ece8829ff1862b8b6ac481cdba4 (diff) | |
Moved proof-mode-hooks from proof-shell-config-done to
proof-config-done.
Diffstat (limited to 'isa/example.ML')
0 files changed, 0 insertions, 0 deletions