Name Last modified Size Description Parent Directory - .listing 2002-05-06 12:32 419 inter.icn 1988-01-18 09:56 50 filter1.icn 1988-01-18 09:56 360 every.icn 1988-01-18 09:56 48 equalseq.icn 1988-01-18 09:56 160 alt.icn 1988-01-18 09:56 98