diff options
| author | David Aspinall | 2001-08-31 19:43:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-31 19:43:04 +0000 |
| commit | 07e3176793d8dea355cfab10ccc02a244c20f54c (patch) | |
| tree | 37bd5257aeba9ad2b5346aca6b3017644535a2ed /isa/Example.ML | |
| parent | 96ae6792b11e60ed344fde0da091ac0b71397761 (diff) | |
Add simulations of more qed commands, also sort and uniquify dependencies.
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions