commit | b1ef396a31291f98983458035fc81636a8f7a008 | [log] [tgz] |
---|---|---|
author | Lev Walkin <vlm@lionet.info> | Fri Aug 20 13:24:28 2004 +0000 |
committer | Lev Walkin <vlm@lionet.info> | Fri Aug 20 13:24:28 2004 +0000 |
tree | e373dc8c5a2ac58e14bab2ff88f7d593a1967f81 | |
parent | 1538561f0b7da5e7e1de86b342a347e39b3d7f58 [diff] |
pretty-printing of SET OF and SEQUENCE OF