Name Last modified Size Parent Directory - doc.tib 1996-07-11 09:00 6.9K doc.ps 1996-07-11 09:00 143K p32p34.tib 1996-06-20 09:00 3.0K p31p33.tib 1996-06-20 09:00 2.6K mani.tib 1996-06-20 09:00 220 sample.tib 1993-05-19 09:00 2.3K