diff options
| author | David Aspinall | 2002-09-11 21:07:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-09-11 21:07:40 +0000 |
| commit | 293b1b2b572e48967137c66909218599f4770923 (patch) | |
| tree | 111f79a0610d457dcc37f262506f34945582f401 /isa/Example-Xsym.ML | |
| parent | 11d62c0c3582b1402f13a9a5564822e833ed2b9f (diff) | |
Fix proof-quick-opts-save to match menu
Diffstat (limited to 'isa/Example-Xsym.ML')
0 files changed, 0 insertions, 0 deletions