diff options
| author | David Aspinall | 1998-08-21 14:38:23 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-08-21 14:38:23 +0000 |
| commit | 438d3b99713a940f1814f749b38235fb64a6a5d7 (patch) | |
| tree | 638ffff3003e56828f5e78e41dc6dcf778f5c62d /isa/example.ML | |
| parent | 4c39fd9067655d73e2045f2eb7a607c9a39f7ddb (diff) | |
First attempt, proof state works.
Diffstat (limited to 'isa/example.ML')
0 files changed, 0 insertions, 0 deletions