Index of /~belinfan/research/autoreas/otter/sum/her
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
agenda.txt 30-Dec-1997 13:34 522
all.cls 02-Feb-1998 21:03 5.1K
![[ ]](/icons/unknown.gif)
all.pos 02-Feb-1998 20:58 1.5K
all.txt 30-Dec-1997 14:03 712
comments.txt 07-Dec-1997 16:37 709
demod.txt 10-Mar-1998 20:51 207
her-ap1.sum 30-Dec-1997 13:35 1.3K
her-ap2.sum 30-Dec-1997 13:35 1.3K
her-ap3.sum 30-Dec-1997 13:35 1.3K
her-co1.sum 30-Dec-1997 13:35 1.2K
her-co2.sum 30-Dec-1997 13:35 1.3K
her-co3.sum 30-Dec-1997 13:35 1.6K
her-co4a.sum 30-Dec-1997 13:35 2.9K
her-co4b.sum 30-Dec-1997 13:35 3.0K
her-co5.sum 02-Feb-1998 20:55 3.7K
her-do.sum 30-Dec-1997 13:35 1.4K
her-s.sum 30-Dec-1997 17:05 1.8K
labels.txt 02-Feb-1998 20:59 2.8K
proofuse.txt 02-Feb-1998 21:00 618
summary.log 02-Feb-1998 20:55 963