diff options
| author | David Aspinall | 2006-12-19 13:53:42 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-12-19 13:53:42 +0000 |
| commit | 52c011b613b560ff8d6570c816a70e531e6bfbf2 (patch) | |
| tree | 2897edee676d656ec73cfdf52ab71b11e0914052 /hol98/example.sml | |
| parent | 10cd6f2061e8c35a6f6cb0a07772cf6dad0de43f (diff) | |
Support older version of define-minor-mode
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions