diff options
| author | Makarius Wenzel | 2000-10-30 17:14:54 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-10-30 17:14:54 +0000 |
| commit | 08283160d1753335bb36df641ca17b218280a235 (patch) | |
| tree | f9d5f1e72ddef1dac0e411caf1043456b60525a0 /hol98/example.sml | |
| parent | e09aad88fb9c92b7e10483e8c44fbf9d45b8a232 (diff) | |
replaced \<macron> by \<inverse> (better than nothing);
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions