Index of /~belinfan/research/autoreas/otter/sum/fs
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
agenda.txt 02-Mar-2000 22:24 937
all.cls 18-Jul-2002 00:36 9.3K
![[ ]](/icons/unknown.gif)
all.pos 18-Jul-2002 00:36 3.0K
all.txt 01-Apr-2000 05:28 1.1K
comments.txt 07-Jul-1997 12:17 1.6K
fs-0.sum 15-Jul-1997 20:58 2.1K
fs-0.txt 10-Jul-1997 11:53 261
fs-1.sum 15-Jul-1997 20:58 960
fs-2.sum 15-Jul-1997 20:58 715
fs-3.sum 15-Jul-1997 20:58 847
fs-4.sum 15-Jul-1997 20:58 1.4K
fs-5.sum 15-Jul-1997 20:58 3.1K
fs-6.sum 15-Jul-1997 20:58 4.4K
fs-co.sum 25-Feb-2000 23:03 1.5K
fs-cp.sum 18-Jul-2002 00:36 1.4K
fs-cup.sum 09-Mar-2000 16:49 3.7K
fs-cup.txt 09-Mar-2000 17:13 1.7K
fs-df-di.sum 30-Jun-1998 18:01 2.6K
fs-fu-do.sum 02-Mar-2000 10:55 906
fs-fu.sum 15-Jul-1997 20:58 5.7K
fs-her.sum 02-Mar-2000 15:28 1.8K
fs-nest.sum 01-Apr-2000 05:19 4.6K
fs-nest.txt 21-Dec-1998 16:54 1.5K
fs-pc-1.sum 15-Jul-1997 20:58 1.3K
fs-pc-2.sum 15-Jul-1997 20:58 1.8K
fs-pc-3.sum 10-Feb-2000 21:26 875
fs-pc-id.sum 02-Mar-2000 16:02 738
fs-ps-1.sum 30-Mar-2000 14:50 2.4K
fs-rp-1.sum 24-Aug-1997 11:19 870
fs-rp-2.sum 24-Aug-1997 11:19 727
fs-rs1.sum 01-Apr-2000 05:17 1.2K
fs-rs2.sum 01-Apr-2000 05:19 943
fs-sc.sum 15-Jul-1997 20:58 1.6K
fs-ss.sum 15-Jul-1997 20:58 883
fs-x.sum 25-Feb-2000 20:55 2.0K
funs.txt 03-Jul-1997 22:04 1.0K
labels.txt 01-Apr-2000 05:16 1.3K
proofuse.txt 01-Apr-2000 05:16 821
summary.log 18-Jul-2002 00:36 2.4K
![[DIR]](/icons/folder.gif)
unneeded/ 06-Jan-2001 15:59 -