Index of /~belinfan/research/autoreas/otter/sum/psm
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
all.cls 17-May-2000 15:43 4.6K
all.pos 17-May-2000 15:42 1.4K
all.txt 22-Jul-1999 09:01 1.0K
labels.txt 18-Aug-1997 02:46 1.6K
lexord.txt 27-Sep-1997 15:02 169
proofuse.txt 18-Aug-1997 02:46 317
psm-0.sum 27-Sep-1997 14:08 806
psm-1.sum 27-Sep-1997 14:08 1.4K
psm-2.sum 27-Sep-1997 14:08 1.4K
psm-3.sum 27-Sep-1997 14:08 1.8K
psm-dj.sum 22-Jul-1999 08:25 1.2K
psm-e-fu.sum 14-Aug-1998 11:25 1.0K
psm-k.sum 17-May-2000 15:35 813
psm-k.txt 17-May-2000 16:03 704
psm-sg.sum 27-Sep-1997 14:08 868
psm-sr.sum 05-Feb-1998 19:22 837
psm-su.sum 04-Mar-1999 20:12 827
psm-succ.sum 27-Sep-1997 14:08 856
psm-v.sum 27-Sep-1997 14:54 1.4K
![[ ]](/icons/unknown.gif)
summary.log 17-May-2000 15:35 1.4K