Index of /~belinfan/research/autoreas/otter/sum/cr
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
all.cls 30-Nov-1997 13:22 4.3K
![[ ]](/icons/unknown.gif)
all.pos 30-Nov-1997 13:22 1.3K
comments.txt 30-Nov-1997 13:24 351
compreln.sum 16-Jul-1997 10:15 1.4K
compreln.txt 12-Sep-1995 13:26 1.2K
cr-1.sum 15-Jul-1997 07:20 852
cr-2.sum 15-Jul-1997 07:20 1.0K
cr-3.sum 15-Jul-1997 07:20 851
cr-4.sum 15-Jul-1997 07:20 1.7K
cr-5.sum 15-Jul-1997 07:20 1.2K
cr-6.sum 15-Jul-1997 07:20 3.3K
cr-7.sum 30-Nov-1997 13:20 1.2K
jobs.txt 30-Nov-1997 12:42 1.2K
summary.log 30-Nov-1997 13:20 550