diff options
| author | Thomas Kleymann | 1998-08-26 16:50:58 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-08-26 16:50:58 +0000 |
| commit | 32bdd6317cf774c67fa1d9039d14d75d900c46f8 (patch) | |
| tree | ab89bea0c8bcd6e1b06b51d34f061ff8aefe2a79 /isa/example.ML | |
| parent | 4991332d9fa0c7bfd64f46b6d1d39ceb51c88a24 (diff) | |
proof is now able to inherit append-element from tl-list
Diffstat (limited to 'isa/example.ML')
0 files changed, 0 insertions, 0 deletions