diff options
| author | David Aspinall | 1998-09-03 15:29:03 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-03 15:29:03 +0000 |
| commit | 9163e1bdfbac3150fa5c74050329cd2fab47a3f3 (patch) | |
| tree | 93063ec4430185159d803174f23d77c442f81a9d /isa/example.ML | |
| parent | 5323283f5727fbc20d07eebc6d5dcfdc6c211b55 (diff) | |
Requires proof-site.
Diffstat (limited to 'isa/example.ML')
0 files changed, 0 insertions, 0 deletions