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