tree e373dc8c5a2ac58e14bab2ff88f7d593a1967f81
parent 1538561f0b7da5e7e1de86b342a347e39b3d7f58
author Lev Walkin <vlm@lionet.info> 1093008268 +0000
committer Lev Walkin <vlm@lionet.info> 1093008268 +0000

pretty-printing of SET OF and SEQUENCE OF