Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
all.cls 16-Aug-2002 03:09 2.6K
![[ ]](/icons/unknown.gif){kind=icon}
all.pos 16-Aug-2002 03:09 765
demod.txt 16-Aug-2002 03:09 312
fp-cp.sum 16-Aug-2002 03:09 1.1K
fp-id2.sum 16-Aug-2002 03:09 963
fp-id2.txt 16-Aug-2002 03:09 269
fp-in.sum 16-Aug-2002 03:09 1.1K
fp-in.txt 16-Aug-2002 03:09 547
fp-rs.sum 16-Aug-2002 03:09 1.1K
lexorder.txt 16-Aug-2002 03:09 887
![[DIR]](/icons/folder.gif){kind=icon}
oldproof/ 20-Aug-2007 12:05 -
prfgraph.m 16-Aug-2002 03:09 2.1K
prfgraph.txt 16-Aug-2002 03:09 759
![[IMG]](/icons/image2.gif){kind=icon}
proof.gif 16-Aug-2002 03:09 2.4K
![[ ]](/icons/layout.gif){kind=icon}
proof.pdf 16-Aug-2002 03:09 3.8K
proofuse.txt 16-Aug-2002 03:09 359
studyall.txt 16-Aug-2002 03:09 521
summary.log 16-Aug-2002 03:09 786