Index of /~belinfan/research/autoreas/otter/sum/choice
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
ac-ap.sum 04-Jun-2000 14:03 1.5K
ac-bij.sum 05-Jun-2000 21:12 1.7K
ac-fp.sum 13-Feb-2000 08:24 2.5K
ac-fs-co.sum 05-Jun-2000 16:49 2.1K
ac-fs-q.sum 06-Jun-2000 11:19 4.2K
ac-fu-oo.sum 05-Jun-2000 15:28 1.7K
ac-fu-q.sum 06-Jun-2000 13:57 3.8K
ac-im-sc.sum 06-Jun-2000 00:02 911
ac-mem.sum 17-Aug-1997 17:09 1.0K
![[DIR]](/icons/folder.gif)
ac-old/ 23-Jul-2002 16:21 -
ac-ra.sum 04-Jun-2000 19:17 1.2K
ac-sg-1.sum 04-Jun-2000 14:47 2.1K
ac-sg-2.sum 04-Jun-2000 14:48 1.9K
ac-ss-1.sum 17-Aug-1997 17:09 1.4K
ac-ss-2.sum 17-Aug-1997 17:09 1.3K
ac-v.sum 17-Aug-1997 17:10 766
ac-vs-do.sum 05-Jun-2000 21:57 1.2K
ac-vs.sum 04-Jun-2000 19:48 1.3K
ac-z-cor.sum 18-Jul-2002 15:41 2.9K
ac-z-lem.sum 18-Jul-2002 15:41 2.1K
ac-z.sum 18-Jul-2002 15:42 5.2K
agenda.txt 04-Jun-2000 15:01 1.8K
all.cls 18-Jul-2002 15:42 7.8K
![[ ]](/icons/unknown.gif)
all.pos 18-Jul-2002 15:42 2.9K
all.txt 04-Jun-2000 19:47 1.3K
ax-z.txt 18-Jul-2002 15:42 2.5K
choice.txt 22-Jul-1997 14:38 551
labels.txt 04-Jun-2000 13:39 353
rubin.txt 18-Jul-2002 15:42 1.3K
studyall.txt 04-Jun-2000 14:04 1.3K
summary.log 18-Jul-2002 15:42 2.0K