![[TXT]](../../../../../../.misc/text.gif){kind=small}
98 1983-02-26 alt.icn ASCII text file 160 1983-02-26 equalseq.icn ASCII text file 48 1983-02-26 every.icn ASCII text file 360 1983-02-26 filter1.icn ASCII text file 50 1983-02-26 inter.icn ASCII text file
