Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
agenda.txt 26-May-2000 06:22 1.0K
all.cls 01-Jun-2000 22:28 3.5K
all.pos 01-Jun-2000 22:27 1.5K
comments.txt 01-Jun-2000 22:31 61
dk-0.sum 26-May-2000 04:50 1.2K
dk-c-df.sum 26-May-2000 04:50 1.0K
dk-k-in.sum 01-Jun-2000 22:26 4.7K
dk-q.sum 26-May-2000 09:40 4.0K
dk-ss.sum 26-May-2000 06:02 2.7K
oldproof.txt 02-Jun-2000 14:33 645
![[ ]](/icons/unknown.gif){kind=icon}
summary.log 01-Jun-2000 22:26 603