Index of /~belinfan/research/autoreas/otter/sum/greatest
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
all.cls 28-Dec-2000 16:36 10K
![[ ]](/icons/unknown.gif)
all.pos 28-Dec-2000 16:35 3.0K
all.txt 28-Dec-2000 16:39 2.2K
gt-0.sum 18-Nov-2000 16:45 1.3K
gt-co-id.sum 24-Nov-2000 21:30 884
gt-cp.sum 26-Dec-2000 23:44 2.6K
gt-df-1.sum 18-Nov-2000 16:56 1.1K
gt-df-2.sum 18-Nov-2000 17:10 1.1K
gt-df-3.sum 18-Nov-2000 17:25 1.7K
gt-do-rs.sum 28-Dec-2000 15:59 2.3K
gt-do-rs.txt 28-Dec-2000 15:50 355
gt-do.sum 18-Nov-2000 21:27 1.0K
gt-fu-1.sum 24-Nov-2000 18:40 1.6K
gt-fu-2.sum 24-Nov-2000 18:44 1.9K
gt-i.sum 18-Nov-2000 22:14 1.8K
gt-id.sum 26-Dec-2000 17:45 2.8K
gt-id.txt 26-Dec-2000 18:03 937
gt-idx.sum 27-Dec-2000 02:26 1.8K
gt-idx.txt 27-Dec-2000 02:20 1.2K
gt-im-pc.sum 28-Dec-2000 05:32 1.6K
gt-im-pc.txt 28-Dec-2000 05:58 1.0K
gt-ra.sum 18-Nov-2000 20:23 1.0K
gt-rs.sum 27-Dec-2000 00:48 2.2K
gt-sr-1.sum 20-Dec-2000 14:43 2.0K
gt-sr-2.sum 20-Dec-2000 14:43 4.2K
gt-sr-2.txt 20-Dec-2000 15:05 721
gt-ss.sum 18-Nov-2000 20:55 1.7K
gt-ub-u.sum 20-Dec-2000 14:22 3.0K
gt-up.sum 05-Dec-2000 16:33 3.7K
gt-v.sum 18-Nov-2000 16:45 1.0K
labels.txt 20-Dec-2000 15:01 1.2K
proofuse.txt 20-Dec-2000 15:01 935
summary.log 28-Dec-2000 15:59 3.1K