Index of /~belinfan/research/autoreas/otter/sum/cup
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
agenda.txt 21-Jul-2000 01:56 3.1K
all.cls 19-Jul-2002 14:49 11K
![[ ]](/icons/unknown.gif)
all.pos 19-Jul-2002 14:49 3.7K
cup-1.sum 22-Jul-1999 14:01 1.0K
cup-2.sum 22-Jul-1999 14:06 1.3K
cup-3.sum 22-Jul-1999 14:01 895
cup-3.txt 22-Jul-1999 13:43 233
cup-adj'.sum 08-Apr-2000 00:08 2.0K
cup-adj.sum 21-Mar-2000 15:56 2.1K
cup-ap1.sum 17-Aug-2000 12:22 1.3K
cup-ap2.sum 17-Aug-2000 12:25 1.0K
cup-do.sum 22-Jul-1999 14:01 1.7K
cup-dup1.sum 11-Aug-1999 22:59 2.4K
cup-dup2.sum 12-Aug-1999 03:28 2.0K
cup-fu.sum 22-Jul-1999 14:01 1.4K
cup-im1.sum 09-Mar-2000 16:25 1.6K
cup-in1.sum 19-Jul-2002 14:49 1.2K
cup-in2.sum 19-Jul-2002 14:49 1.6K
cup-in3.sum 19-Jul-2002 14:50 1.1K
cup-inin.sum 19-Jul-2002 14:50 1.5K
cup-k-im.sum 17-Aug-2000 12:25 4.4K
cup-op1.sum 22-Jul-1999 14:01 2.8K
cup-op2.sum 22-Jul-1999 14:01 2.2K
cup-op3a.sum 22-Jul-1999 14:01 3.0K
cup-op3b.sum 22-Jul-1999 14:01 2.1K
cup-op4.sum 11-Aug-1999 22:00 3.6K
cup-pc-1.sum 21-Jul-2000 01:27 3.4K
cup-pc-2.sum 21-Jul-2000 01:27 3.4K
cup-ra.sum 22-Jul-1999 14:31 1.7K
cup-sub'.sum 08-Apr-2000 21:47 3.2K
cup-sub.sum 21-Mar-2000 15:56 2.8K
cup-sw.sum 23-Sep-1999 20:53 3.6K
labels.txt 04-Oct-1999 08:33 919
proofuse.txt 04-Oct-1999 08:34 934
studyall.txt 04-Oct-1999 08:34 3.5K
summary.log 19-Jul-2002 14:49 3.3K
![[DIR]](/icons/folder.gif)
unneeded/ 06-Jan-2001 15:58 -