diff options
| author | David Aspinall | 2000-09-14 16:02:28 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-14 16:02:28 +0000 |
| commit | 9ce1b45b5e94fd72ff82b382d8981cf621675178 (patch) | |
| tree | f1ccf600b8e0e0c9b9e16ad3df5b1464cd37aed3 /isa/Example-Xsym.ML | |
| parent | c552593df6e6ee765d9b6813842aa91c0735d98e (diff) | |
Moved proof-add-completions to adapting manual
Diffstat (limited to 'isa/Example-Xsym.ML')
0 files changed, 0 insertions, 0 deletions