diff options
| author | Makarius Wenzel | 2000-09-14 22:29:20 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-09-14 22:29:20 +0000 |
| commit | eca97d0f816ea5aabd9f80e5c89bae8611fd58e0 (patch) | |
| tree | a15cf3dc48a53b4d180650ff7bf07897e8a0afd8 /hol98/example.sml | |
| parent | b92c8cc349554dd181f2eba61639b9045ef66db7 (diff) | |
renamed \<brokenbar> to \<bar>;
fixed glyph of \<pounds>;
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions