Index of /~belinfan/research/autoreas/otter/sum/rfx
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
all.cls 03-Dec-2000 01:20 5.8K
![[ ]](/icons/unknown.gif)
all.pos 03-Dec-2000 01:20 2.2K
all.txt 02-Dec-2000 23:19 1.6K
![[DIR]](/icons/folder.gif)
examples/ 23-Jul-2002 16:21 -
labels.txt 02-Jan-1998 00:12 708
proofuse.txt 02-Jan-1998 00:13 880
rfx-0.sum 01-Jan-1998 12:45 805
rfx-1.sum 01-Jan-1998 01:08 1.5K
rfx-2.sum 01-Jan-1998 01:08 1.5K
rfx-co.sum 02-Jan-1998 00:12 2.3K
rfx-cp1.sum 01-Jan-1998 12:45 920
rfx-cp2.sum 01-Jan-1998 12:45 4.3K
rfx-cp2.txt 01-Jan-1998 10:32 818
rfx-do.sum 01-Jan-1998 00:45 1.8K
rfx-i.sum 01-Jan-1998 12:45 1.8K
rfx-id.sum 01-Jan-1998 00:45 1.0K
rfx-idx.sum 01-Jan-1998 12:50 835
rfx-in.sum 01-Jan-1998 00:45 1.1K
rfx-lt-1.sum 03-Dec-2000 01:16 3.6K
rfx-lt-2.sum 03-Dec-2000 01:16 1.4K
rfx-ra.sum 01-Jan-1998 00:45 961
rfx-rs.sum 01-Jan-1998 12:45 1.0K
rfx-sr.sum 06-Jan-1998 12:55 798
rfx-u.sum 01-Jan-1998 12:45 2.2K
rfx-up.sum 02-Dec-2000 23:10 2.8K
rfx-v.sum 01-Jan-1998 12:45 1.2K
studyall.txt 13-Feb-2000 18:42 2.4K
summary.log 03-Dec-2000 01:16 1.8K