Index of /~belinfan/research/autoreas/otter/sum/fs

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