Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
all.cls 04-Sep-1997 23:02 2.5K
![[ ]](/icons/unknown.gif){kind=icon}
all.pos 04-Sep-1997 23:01 1.0K
comments.txt 18-Aug-1997 01:35 230
es-co.sum 04-Sep-1997 22:58 1.8K
es-df-1.sum 18-Jul-1997 12:45 1.9K
es-df-2.sum 15-Jul-1997 14:27 1.2K
es-df-3.sum 15-Jul-1997 14:27 880
es-df-4.sum 15-Jul-1997 14:27 1.0K
labels.txt 04-Sep-1997 23:06 1.2K
proofuse.txt 04-Sep-1997 23:07 329
summary.log 04-Sep-1997 22:58 319