diff options
| author | David Aspinall | 2000-09-13 15:12:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-13 15:12:52 +0000 |
| commit | ceeaafdb2910bc570897c93e426225d7d9535a90 (patch) | |
| tree | cb0a72557c83471a64861dc8e7f88005c279e57a /isa/Example.ML | |
| parent | 7e254b5eba8ef2eb6d91ee8354a064a06037998c (diff) | |
Removed proof-toolbar-entries-default and <PA>-toolbar-entries.
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions