../ 00index.txt 22-Jul-1994 00:08 182 copying 22-Jul-1994 00:08 1886 diskoi2 22-Jul-1994 00:08 324 oidemos.tgz 22-Jul-1994 00:08 135917 oidoc.tgz 22-Jul-1994 00:08 207904 oiman.tgz 22-Jul-1994 00:08 167162 uib.tgz 22-Jul-1994 00:08 320916