diff options
| author | David Aspinall | 2008-01-17 12:09:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-17 12:09:30 +0000 |
| commit | c088485c7c536ee59f549477d9841645a288c223 (patch) | |
| tree | 9302f931a8a5754f0a4345017e7434acb6dc7d53 /hol98/example.sml | |
| parent | 9a19a0434d56f5dc28139a32773b7b902ff43168 (diff) | |
Split define keys to match keymap files
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions