Index of /~belinfan/research/autoreas/otter/sum/rc
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
all.cls 20-Jul-2002 18:49 5.3K
![[ ]](/icons/unknown.gif)
all.pos 20-Jul-2002 18:49 1.8K
labels.txt 20-Jul-2002 18:49 313
![[DIR]](/icons/folder.gif)
practice/ 20-Aug-2007 11:19 -
proofuse.txt 20-Jul-2002 18:49 417
rc-co-id.sum 20-Jul-2002 18:49 783
rc-do.sum 20-Jul-2002 18:49 912
rc-fu.sum 20-Jul-2002 18:49 1.7K
rc-idx-1.sum 20-Jul-2002 18:49 1.1K
rc-idx-2.sum 20-Jul-2002 18:49 1.1K
rc-in.sum 20-Jul-2002 18:49 1.0K
rc-oo.sum 20-Jul-2002 18:49 738
rc-op1.sum 20-Jul-2002 18:49 2.3K
rc-op2.sum 20-Jul-2002 18:49 2.9K
rc-ra.sum 20-Jul-2002 18:49 3.6K
rc-rc-co.sum 20-Jul-2002 18:49 1.0K
rc-rl.sum 20-Jul-2002 18:49 1.0K
rc-v-1.sum 20-Jul-2002 18:49 1.0K
rc-v-2.sum 20-Jul-2002 18:49 789
rc-v-3.sum 20-Jul-2002 18:49 1.1K
summary.log 20-Jul-2002 18:49 1.7K
unneeded/ 20-Aug-2007 11:20 -