diff options
| author | Thomas Kleymann | 1998-08-07 15:32:23 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-08-07 15:32:23 +0000 |
| commit | 5a8c3047901b986fe9d503ed57a832ea88ca41b1 (patch) | |
| tree | 724f32b853fce1e3c809f96c5ce1cc041fc4408c /isa/example.ML | |
| parent | 009092085357f540b5d670b2f5615bf451494c1e (diff) | |
o removed log entry
o changed default for lego-tags
o set up regular definitions to support definitions of the form
id == term
o monitoring the end of imports is now implemented via
a new proof-shell-process-output-system-specific hook
Diffstat (limited to 'isa/example.ML')
0 files changed, 0 insertions, 0 deletions