Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
all.cls 22-Dec-2000 07:10 12K
![[ ]](/icons/unknown.gif){kind=icon}
all.pos 22-Dec-2000 07:10 3.9K
![[DIR]](/icons/folder.gif){kind=icon}
altproof/ 23-Jul-2002 16:21 -
fu-1a.sum 26-Aug-1999 21:57 1.3K
fu-3.sum 26-Aug-1999 21:57 1.7K
fu-co1.sum 25-Mar-2000 13:08 1.1K
fu-co2.sum 31-Jul-2000 15:54 7.1K
fu-df-3.sum 26-Aug-1999 21:57 1.3K
fu-df-4.sum 26-Aug-1999 21:57 1.3K
fu-dj1&2.sum 11-Aug-2000 16:06 1.7K
fu-do-co.sum 26-Aug-1999 21:57 2.1K
fu-f-o.sum 11-Aug-2000 23:03 6.4K
fu-in.sum 26-Aug-1999 21:57 1.4K
fu-op.sum 03-Aug-2000 23:43 924
fu-sv-1.sum 26-Aug-1999 21:57 1.4K
fu-sv-2.sum 26-Aug-1999 21:57 2.4K
fu-tr-1'.sum 26-Aug-1999 21:57 2.9K
fu-tr-2'.sum 26-Aug-1999 21:57 3.8K
funp-co.sum 05-Feb-2000 14:57 2.3K
funp-id.sum 22-Dec-2000 07:08 801
funp-mem.sum 05-Feb-2000 15:27 2.7K
funp-su.sum 05-Feb-2000 15:31 1.1K
funpart.txt 14-Aug-2000 09:40 532
funpart4.sum 26-Aug-1999 21:57 3.5K
lex-expt/ 23-Jul-2002 16:21 -
old/ 23-Jul-2002 16:21 -
reform.txt 26-Aug-1999 16:57 646
summary.log 22-Dec-2000 07:08 1.8K