Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
0.iso 09-Jun-1995 19:36 97
cimtool.pgz 09-Jun-1995 19:36 100K
design.pgz 09-Jun-1995 19:36 29K
hip.pgz 09-Jun-1995 19:36 89K
oopsla91.pgz 09-Jun-1995 19:36 188K
![[TXT]](/icons/text.gif){kind=icon}
readme.txt 09-Jun-1995 19:36 515
sigmdrec.pgz 09-Jun-1995 19:36 241K
src_drft.pgz 09-Jun-1995 19:36 196K
src_talk.pgz 09-Jun-1995 19:36 168K
tois.pgz 09-Jun-1995 19:36 441K
uist91.pgz 09-Jun-1995 19:36 117K