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