diff options
| author | Hendrik Tews | 2020-12-16 21:40:22 +0100 |
|---|---|---|
| committer | hendriktews | 2020-12-19 16:43:49 +0100 |
| commit | 2fbdb9c5b7a9b76a295b1570360925237df4b077 (patch) | |
| tree | d025f86cfc67563cfc0b9233d8461229c9b2db15 /hol98/example.sml | |
| parent | 12be85a9032ebed02d9b65da7848ab173081f41a (diff) | |
reimplement functions not present in earlier emacs versions
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions