Index of /~belinfan/research/autoreas/otter/sum/hc
Name Last modified Size Description
Parent Directory -
all.cls 17-Jul-2002 23:06 5.9K
all.pos 17-Jul-2002 23:07 1.9K
all.txt 17-Jul-2002 23:07 172
hc-a-1.sum 17-Jul-2002 23:07 1.4K
hc-a-2.sum 17-Jul-2002 23:07 3.1K
hc-a-3.sum 17-Jul-2002 23:07 2.3K
hc-ap.sum 17-Jul-2002 23:07 1.8K
hc-do.sum 11-Apr-2001 15:13 1.3K
hc-fp.sum 17-Jul-2002 23:07 3.9K
hc-fp.txt 11-Apr-2001 15:13 793
hc-fu.sum 11-Apr-2001 15:13 1.1K
hc-hc.sum 11-Apr-2001 15:13 3.6K
hc-im.sum 17-Jul-2002 23:08 1.2K
hc-op-1.sum 17-Jul-2002 23:08 940
hc-op-2.sum 17-Jul-2002 23:08 1.2K
hc-ra.sum 11-Apr-2001 15:13 2.6K
hc-tc-1.sum 11-Apr-2001 15:13 3.4K
hc-tc-2.sum 11-Apr-2001 15:13 3.6K
hc-vs.sum 11-Apr-2001 15:13 2.2K
labels.txt 17-Jul-2002 23:08 481
proofuse.txt 17-Jul-2002 23:08 713
summary.log 17-Jul-2002 23:08 2.0K