Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
all.cls 19-Aug-2000 07:58 18K
all.pos 19-Aug-2000 07:57 5.8K
![[DIR]](/icons/folder.gif){kind=icon}
answer/ 23-Jul-2002 16:21 -
binary/ 23-Jul-2002 16:21 -
d-0.sum 03-Jan-1998 14:47 2.3K
d-0a.sum 15-Jul-1997 07:25 2.4K
d-1a.sum 15-Jul-1997 07:25 9.8K
d-1a.txt 28-Dec-1996 16:48 540
d-1a1.sum 15-Jul-1997 07:24 2.8K
d-1a2.sum 15-Jul-1997 07:24 1.5K
d-1b.sum 03-Jan-1998 15:56 1.4K
d-1b1.sum 15-Jul-1997 07:25 1.2K
d-1b2.sum 15-Jul-1997 07:25 1.5K
d-2a.sum 03-Jan-1998 15:56 2.5K
d-2a1.sum 15-Jul-1997 07:24 2.7K
d-2a2.sum 15-Jul-1997 07:24 1.4K
d-2b.sum 03-Jan-1998 15:56 1.3K
d-2b1.sum 15-Jul-1997 07:24 1.2K
d-2b2.sum 15-Jul-1997 07:25 1.3K
d-3.sum 15-Jul-1997 07:25 849
d-3cor1.sum 15-Jul-1997 07:25 1.2K
d-3cor2.sum 03-Jan-1998 19:05 1.7K
d-3cor2.txt 03-Jan-1998 21:53 1.9K
d-4-err.txt 23-Aug-1995 17:19 1.3K
d-4-ext.sum 19-Aug-2000 07:56 2.2K
d-4.sum 15-Jul-1997 07:25 1.0K
d-4cor1.sum 19-Aug-2000 07:55 1.1K
d-4cor2.sum 03-Jan-1998 19:05 1.0K
d-5'.sum 24-Aug-1997 22:56 1.0K
d-5.sum 24-Aug-1997 22:48 1.1K
d-5a.sum 15-Jul-1997 07:25 1.1K
d-5b.sum 15-Jul-1997 07:25 1.8K
d-6.sum 15-Jul-1997 07:24 1.0K
d-6a.sum 15-Jul-1997 07:25 1.2K
d-7.sum 15-Jul-1997 07:25 1.1K
d-dj.sum 15-Jul-1997 07:25 1.9K
d-eq-v.sum 21-Sep-1998 16:18 2.6K
d-su1.sum 03-Jan-1998 19:05 1.1K
d-su2.sum 03-Jan-1998 19:05 898
hyperres/ 23-Jul-2002 16:21 -
labels.txt 24-Aug-1997 20:40 3.1K
member/ 23-Jul-2002 16:21 -
proofuse.txt 24-Aug-1997 20:56 1.3K
selfdual.txt 02-Feb-1994 05:49 132
special.sum 03-Jan-1998 19:05 1.5K
special.txt 28-Dec-1996 17:12 292
subclass/ 23-Jul-2002 16:21 -
subsumed.txt 22-Dec-1997 17:09 2.5K
![[ ]](/icons/unknown.gif){kind=icon}
summary.log 19-Aug-2000 07:56 1.9K