diff options
| author | David Aspinall | 2000-03-24 20:16:32 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-24 20:16:32 +0000 |
| commit | 23b798c81fc9c496e6e86108c0fca3715c7f1def (patch) | |
| tree | 498470d06bac6b1d9b1789b454af6149e63eb225 /isa/Example2.ML | |
| parent | 30d3dd71fe485f9b7a38c1133ec9d2e36a505d46 (diff) | |
Use pg command pg_top_thm_and_drop
Diffstat (limited to 'isa/Example2.ML')
0 files changed, 0 insertions, 0 deletions