diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-04-06 15:11:18 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-04-06 15:11:18 +0000 |
| commit | 71f0f60954301df47a19e1b6778fb2348ab257a1 (patch) | |
| tree | 3b9cddd9cbe7783b7708b176103fb90789c0490d /hol98 | |
| parent | 0d87abac3f261b694eee930436974aeec50ec78b (diff) | |
tuned \<bottom>;
added \<lbrace>, \<rbrace>, \<top>;
Diffstat (limited to 'hol98')
0 files changed, 0 insertions, 0 deletions