diff options
| author | David Aspinall | 2000-04-07 13:48:32 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-04-07 13:48:32 +0000 |
| commit | c9131112526984c135c29e0b3dd465642e05d5fd (patch) | |
| tree | 42362af9758625c0f36f317156251065992f2a8a /isa/Example.ML | |
| parent | 8194bdb86647cc5f2462deee358938bf676231d6 (diff) | |
pbp-mode -> goals-mode
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions