Index of /~belinfan/research/autoreas/otter/sum/2nd
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
2nd-ap.sum 31-Jul-1997 07:08 1.2K
2nd-co1.sum 05-Nov-1998 20:13 3.0K
2nd-co2.sum 05-Nov-1998 20:13 2.3K
2nd-co2a.sum 31-Jul-2000 21:37 1.5K
2nd-co3.sum 31-Aug-2000 16:27 1.1K
2nd-co4.sum 31-Aug-2000 16:27 2.4K
2nd-df-1.sum 31-Jul-1997 07:08 1.6K
2nd-df-2.sum 31-Jul-1997 07:08 1.4K
2nd-df-3.sum 31-Jul-1997 07:08 1.0K
2nd-df-4.sum 01-Feb-1998 18:42 1.1K
2nd-do-1.sum 31-Aug-2000 16:27 1.0K
2nd-do-2.sum 31-Aug-2000 16:00 894
2nd-fl-1.sum 24-Jul-1998 12:46 1.0K
2nd-fl-2.sum 24-Jul-1998 12:46 1.0K
2nd-fl.sum 31-Jul-1997 07:08 1.2K
2nd-fu.sum 01-Feb-1998 18:08 1.3K
2nd-i.sum 26-Jan-1999 15:44 1.0K
2nd-id.sum 24-Jul-1998 14:24 759
2nd-idx1.sum 22-Aug-2000 23:40 1.3K
2nd-idx2.sum 31-Aug-2000 16:27 944
2nd-im-1.sum 31-Jul-1997 07:08 1.7K
2nd-im-1.txt 30-Jul-1997 17:01 320
2nd-im-2.sum 31-Jul-1997 07:08 1.9K
2nd-in-1.sum 31-Aug-2000 16:27 2.2K
2nd-in-2.sum 31-Aug-2000 16:27 2.6K
2nd-mem.sum 31-Aug-2000 16:27 844
2nd-ra.sum 31-Jul-1997 07:08 1.6K
2nd-ro-1.sum 23-Jul-1998 18:08 1.0K
2nd-ro-2.sum 23-Jul-1998 18:08 1.1K
2nd-ro-3.sum 24-Jul-1998 12:46 1.8K
2nd-ro-4.sum 24-Jul-1998 12:46 1.2K
2nd-ro-5.sum 10-Aug-1999 01:13 4.9K
2nd-ro-6.sum 10-Aug-1999 01:13 1.3K
2nd-ro-7.sum 10-Aug-1999 01:13 805
2nd-ro-8.sum 31-Aug-2000 16:27 6.5K
2nd-ro.txt 24-Jul-1998 13:01 371
2nd-ro3a.sum 18-Jul-2002 15:39 1.3K
2nd-ro4a.sum 01-Aug-2000 09:04 1.2K
2nd-ro9a.sum 31-Aug-2000 16:27 1.4K
2nd-ro9b.sum 31-Aug-2000 16:27 1.3K
2nd-ss.sum 31-Aug-2000 16:27 755
2nd-su-1.sum 31-Jul-1997 07:08 827
2nd-su-2.sum 31-Jul-1997 07:08 1.0K
2nd-sw-1.sum 03-Nov-1998 19:27 894
2nd-sw-2.sum 03-Nov-1998 19:27 896
2nd-vsd1.sum 18-Jul-2002 15:39 2.4K
2nd-vsd2.sum 18-Jul-2002 15:39 2.9K
all.cls 18-Jul-2002 15:39 20K
![[ ]](/icons/unknown.gif)
all.pos 18-Jul-2002 15:39 5.1K
all.txt 18-Jul-2002 15:39 2.0K
![[DIR]](/icons/folder.gif)
auto/ 20-Aug-2007 11:25 -
err_pc5.txt 31-Jan-1995 21:49 183
labels.txt 31-Aug-2000 16:27 2.9K
lemmas.txt 15-Jan-1995 16:47 307
oldproof/ 20-Aug-2007 11:26 -
proofuse.txt 31-Aug-2000 16:28 2.5K
rho/ 20-Aug-2007 11:26 -
summary.log 18-Jul-2002 15:39 5.7K
unneeded/ 20-Aug-2007 11:26 -
unproved/ 20-Aug-2007 11:26 -