diff options
| author | David Aspinall | 2000-07-19 15:51:33 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-07-19 15:51:33 +0000 |
| commit | 74395a1fcb57bc1e0854ed9284714d2e216c7b50 (patch) | |
| tree | 04dc620500d751d5315a5eb8bbbb975dec92b289 /isa/Example.ML | |
| parent | d83126ec7b57c1b7f54d8b937925f9b24ae388f0 (diff) | |
experiments with theorem dependencies
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions