Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
all.cls 19-Aug-2000 13:04 6.8K
![[ ]](/icons/unknown.gif){kind=icon}
all.pos 19-Aug-2000 13:04 2.6K
all.txt 10-Oct-1995 05:17 1.5K
disjoint.txt 09-Oct-1995 21:54 1.4K
dj-1a.sum 15-Jul-1997 14:16 769
dj-1b.sum 15-Jul-1997 14:16 825
dj-2a.sum 15-Jul-1997 14:16 808
dj-2b.sum 15-Jul-1997 14:16 864
dj-3a.sum 15-Jul-1997 14:16 788
dj-3b.sum 15-Jul-1997 14:16 789
dj-4.sum 15-Jul-1997 14:16 936
dj-5a.sum 15-Jul-1997 14:16 1.0K
dj-5b.sum 15-Jul-1997 14:16 1.0K
dj-5c.sum 15-Jul-1997 14:16 840
dj-6a.sum 15-Jul-1997 14:16 1.2K
dj-6b.sum 15-Jul-1997 14:16 1.8K
dj-6b.txt 29-Dec-1996 01:02 304
dj-7.sum 15-Jul-1997 14:16 1.9K
dj-8.sum 15-Jul-1997 14:16 1.5K
dj-8.txt 29-Dec-1996 03:07 752
dj-9a.sum 15-Jul-1997 14:16 968
dj-9b.sum 15-Jul-1997 14:16 1.0K
dj-10a.sum 15-Jul-1997 14:16 1.1K
dj-10b.sum 15-Jul-1997 14:16 958
dj-10c.sum 15-Jul-1997 14:16 1.1K
dj-ass.sum 19-Aug-2000 13:02 1.2K
dj-c-1.sum 15-Jul-1997 14:16 1.0K
dj-c-2.sum 15-Jul-1997 14:16 1.4K
dj-eq.sum 15-Jul-1997 14:16 1.0K
dj-mem.sum 22-Jul-1999 10:05 966
dj6b-alt.sum 15-Jul-1997 14:16 2.1K
dj6b-new.sum 15-Jul-1997 14:16 2.2K
lemma.sum 15-Jul-1997 14:16 2.3K
subsume.txt 22-May-1997 16:16 598
summary.log 19-Aug-2000 13:02 849