diff options
| author | David Aspinall | 2000-07-19 15:55:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-07-19 15:55:10 +0000 |
| commit | a48bbb9d9dcdb664fc71ddbcb63bd4880c691680 (patch) | |
| tree | bf59692dc423bcf647d8309ef68d1a06551f1aea /isa/Example.ML | |
| parent | 74395a1fcb57bc1e0854ed9284714d2e216c7b50 (diff) | |
functions for manipulating theorem dependencies
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions