Index of /~belinfan/research/autoreas/otter/sum/ff
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
agenda.txt 25-Dec-1998 13:40 237
all.cls 25-Dec-1998 13:28 4.9K
![[ ]](/icons/unknown.gif)
all.pos 25-Dec-1998 13:28 1.8K
ff-0.sum 22-Dec-1998 22:15 1.3K
ff-1.sum 22-Dec-1998 22:15 2.0K
ff-2.sum 23-Dec-1998 23:40 1.4K
ff-2.txt 24-Dec-1998 00:13 2.0K
ff-2nd.sum 22-Dec-1998 22:15 3.5K
ff-cp-1.sum 23-Dec-1998 06:16 1.9K
ff-cp-2.sum 23-Dec-1998 06:17 3.2K
ff-dup-e.sum 24-Dec-1998 09:03 3.1K
ff-dup.sum 22-Dec-1998 22:15 2.8K
ff-fu-co.sum 25-Dec-1998 13:08 4.7K
ff-fu-x1.sum 25-Dec-1998 13:26 4.0K
ff-fu-x2.sum 25-Dec-1998 13:27 4.2K
ff-idx.sum 22-Dec-1998 22:15 4.3K
ff-su.sum 22-Dec-1998 22:15 2.0K
ff.txt 22-Dec-1998 22:05 154
funfamil.txt 24-Dec-1998 15:02 2.2K
labels.txt 25-Dec-1998 13:34 411
proofuse.txt 25-Dec-1998 13:34 758
studyall.txt 25-Dec-1998 13:35 4.5K
summary.log 25-Dec-1998 13:27 1.2K