Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
all.cls 20-Jul-2002 18:06 12K
all.pos 20-Jul-2002 18:06 4.3K
all.txt 18-Apr-2000 23:24 929
![[DIR]](/icons/folder.gif){kind=icon}
demodlim/ 06-Jan-2001 16:02 -
err_pc5.txt 04-Feb-1995 05:45 183
ful-0-1.sum 20-Aug-1997 10:34 720
ful-0-2.sum 20-Aug-1997 10:34 731
ful-0-3.sum 20-Aug-1997 10:34 903
ful-0-4.sum 20-Aug-1997 10:34 1.3K
ful-c.sum 10-Jan-1999 13:51 1.5K
ful-c.txt 10-Jan-1999 14:10 829
ful-desc.sum 20-Jul-2002 18:07 3.1K
ful-df11.sum 20-Aug-1997 10:34 1.1K
ful-df12.sum 20-Aug-1997 10:34 2.5K
ful-df13.sum 14-Mar-1998 02:47 1.1K
ful-df14.sum 14-Mar-1998 02:47 1.1K
ful-df15.sum 27-Jul-1998 16:15 1.0K
ful-df16.sum 27-Jul-1998 16:15 1.0K
ful-fp-1.sum 16-Mar-1998 08:54 1.9K
ful-fp-2.sum 16-Mar-1998 08:55 860
ful-ful.sum 10-Jan-1999 13:58 1.0K
ful-i-1.sum 20-Aug-1997 10:34 1.6K
ful-i-2.sum 20-Aug-1997 10:34 1.7K
ful-im-s.sum 14-May-1998 17:25 724
ful-pc-1.sum 20-Aug-1997 10:34 903
ful-pc-2.sum 20-Aug-1997 10:34 1.0K
ful-pc-3.sum 20-Aug-1997 10:34 1.7K
ful-pc-3.txt 26-May-1997 11:05 847
ful-pc-4.sum 19-Apr-2000 10:09 1.4K
ful-pc-4.txt 02-Jan-1999 21:04 501
ful-pc-5.sum 02-Jan-1999 20:49 1.4K
ful-pc-i.sum 19-Apr-2000 10:09 2.4K
ful-reg1.sum 19-Apr-2000 09:35 1.7K
ful-reg2.sum 19-Apr-2000 10:09 1.8K
ful-reg3.sum 19-Apr-2000 10:03 2.1K
ful-reg3.txt 19-Apr-2000 10:03 381
ful-sc-1.sum 20-Aug-1997 10:34 901
ful-sc-2.sum 20-Aug-1997 10:34 1.0K
ful-sc-3.sum 20-Aug-1997 10:34 1.4K
ful-sc-4.sum 20-Aug-1997 10:34 1.2K
ful-sc-5.sum 20-Aug-1997 10:34 1.1K
ful-sc-6.sum 20-Aug-1997 10:34 1.8K
ful-sc-7.sum 20-Aug-1997 10:34 1.7K
ful-sc-7.txt 25-May-1997 22:03 601
ful-sc-8.sum 20-Aug-1997 10:34 1.7K
ful-sc-8.txt 25-May-1997 22:13 1.2K
ful-sc-9.sum 20-Aug-1997 10:34 1.6K
ful-u-1.sum 20-Aug-1997 10:34 1.4K
ful-u-2.sum 20-Aug-1997 10:34 1.6K
ful-u-v.sum 19-Apr-2000 10:09 1.7K
ful-v.sum 20-Aug-1997 10:34 712
fulc-mem.sum 27-Mar-1999 22:09 1.5K
fulc-mem.txt 27-Mar-1999 22:08 788
fulc-rus.sum 27-Mar-1999 22:09 3.5K
fulc-ss.sum 27-Mar-1999 22:29 797
fuldesc1.sum 18-Apr-2000 23:30 2.5K
fuldesc2.sum 18-Apr-2000 23:06 2.0K
labels.txt 18-Apr-2000 23:10 3.0K
proofuse.txt 18-Apr-2000 23:11 2.3K
question.txt 27-Aug-1997 08:11 1.5K
studyall.txt 02-Jan-1999 20:53 201
![[ ]](/icons/unknown.gif){kind=icon}
summary.log 20-Jul-2002 18:06 6.0K