diff options
| author | David Aspinall | 2000-05-26 18:03:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-26 18:03:56 +0000 |
| commit | 485ba265488056f002c6ed88be3969958172f55d (patch) | |
| tree | ff4910c5aa9b767a968f71f22b625e8596e7a81e /hol98/example.sml | |
| parent | fbc1b0135932e197cb0cecde8ecf4ce235437c4c (diff) | |
Binding for complete.
Proper toggler use for generic option x symbol enable.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions