Index of /~belinfan/research/autoreas/otter/sum/ca

Icon  Name                                    Last modified      Size  Description
[DIR] Parent Directory - [TXT] agenda.txt 24-Jul-1998 16:28 113 [TXT] all.cls 28-Aug-1997 21:10 3.8K [   ] all.pos 28-Aug-1997 21:10 1.3K [DIR] andrews/ 20-Aug-2007 11:09 - [TXT] ca-0.sum 28-Aug-1997 20:59 853 [TXT] ca-1.sum 14-Jul-1997 21:36 917 [TXT] ca-2.sum 14-Jul-1997 21:36 1.3K [TXT] ca-3.sum 14-Jul-1997 21:36 1.4K [TXT] ca-4.sum 14-Jul-1997 21:36 1.6K [TXT] ca-5.sum 14-Jul-1997 21:36 1.4K [TXT] err_pc5.txt 03-Feb-1995 08:08 183 [TXT] labels.txt 28-Aug-1997 21:13 565 [TXT] proofuse.txt 28-Aug-1997 21:13 320 [DIR] reform/ 20-Aug-2007 11:10 - [   ] summary.log 28-Aug-1997 20:59 513