Index of /~belinfan/research/autoreas/otter/sum/finite
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
all.cls 19-Jul-2002 16:11 29K
![[ ]](/icons/unknown.gif)
all.pos 19-Jul-2002 16:11 8.5K
all.txt 30-Sep-2000 23:47 2.3K
![[DIR]](/icons/folder.gif)
altproof/ 20-Jul-2002 18:04 -
fin-0.sum 10-Mar-2000 21:59 1.8K
fin-a.sum 07-Apr-2000 00:49 694
fin-adj.sum 16-Apr-2000 00:02 5.6K
fin-bc1.sum 16-Apr-2000 00:02 1.6K
fin-bc2.sum 16-Apr-2000 00:02 1.4K
fin-bc3.sum 22-Apr-2000 12:40 1.6K
fin-bc4.sum 22-Apr-2000 12:40 2.3K
fin-c-df.sum 18-Mar-2000 22:45 910
fin-c-om.sum 14-Mar-2000 22:29 1.9K
fin-c-ss.sum 07-Apr-2000 00:49 4.2K
fin-co1.sum 16-Apr-2000 00:02 1.1K
fin-co2.sum 22-Apr-2000 12:40 1.4K
fin-co3.sum 22-Apr-2000 12:40 2.4K
fin-co4.sum 22-Apr-2000 12:40 2.4K
fin-cp-3.sum 30-Sep-2000 23:37 3.2K
fin-cp0a.sum 30-Sep-2000 22:49 901
fin-cp0b.sum 30-Sep-2000 22:49 901
fin-cp1.sum 22-Apr-2000 12:40 1.1K
fin-cp2.sum 22-Apr-2000 12:40 1.7K
fin-cp2a.sum 10-Oct-2000 18:02 1.8K
fin-cup1.sum 07-Apr-2000 00:49 2.1K
fin-cup2.sum 16-Apr-2000 00:02 1.9K
fin-dcc.sum 10-Oct-2000 20:04 3.7K
fin-dj1.sum 23-Mar-2000 13:25 1.1K
fin-dj2.sum 16-Apr-2000 00:02 1.4K
fin-dj3.sum 22-Apr-2000 12:40 1.7K
fin-do1.sum 22-Apr-2000 12:40 852
fin-do2.sum 22-Apr-2000 13:05 829
fin-fp1.sum 22-Apr-2000 12:40 874
fin-fp2.sum 19-Jul-2002 16:11 918
fin-fs.sum 16-Apr-2000 00:02 3.0K
fin-fu1.sum 16-Apr-2000 00:02 1.9K
fin-fu2.sum 16-Apr-2000 00:02 1.5K
fin-fu3.sum 22-Apr-2000 12:40 1.5K
fin-her.sum 10-Mar-2000 22:10 1.5K
fin-idx.sum 16-Apr-2000 00:02 852
fin-imv.sum 28-Apr-2000 08:49 1.1K
fin-in1.sum 22-Apr-2000 12:40 935
fin-in2.sum 19-Jul-2002 16:11 1.1K
fin-ind1.sum 16-Apr-2000 00:02 2.0K
fin-ind2.sum 16-Apr-2000 00:03 3.0K
fin-k-1.sum 19-May-2000 09:10 1.3K
fin-k-2.sum 19-May-2000 09:10 2.2K
fin-k-3.sum 30-May-2000 21:42 2.3K
fin-k-in.sum 30-May-2000 18:15 2.9K
fin-mem.sum 11-Mar-2000 01:08 1.0K
fin-om1.sum 19-Mar-2000 14:06 1.8K
fin-om2.sum 07-Apr-2000 00:49 1.2K
fin-om3.sum 07-Apr-2000 00:49 2.0K
fin-om4.sum 19-Jul-2002 16:12 1.4K
fin-om4.txt 19-Jul-2002 16:12 1.5K
fin-om5.sum 19-Jul-2002 16:12 2.0K
fin-om5.txt 19-Jul-2002 16:12 264
fin-on1.sum 19-Mar-2000 10:38 1.5K
fin-on2.sum 07-Apr-2000 00:49 1.0K
fin-op.sum 22-Apr-2000 12:40 1.0K
fin-pc1.sum 16-Apr-2000 00:02 1.0K
fin-pc2.sum 16-Apr-2000 00:02 1.1K
fin-pc3.sum 22-Apr-2000 12:40 956
fin-pcss.sum 22-Apr-2000 12:40 2.3K
fin-pow.sum 22-Apr-2000 12:40 3.5K
fin-pow.txt 02-Apr-2000 23:46 463
fin-pp1.sum 23-Mar-2000 08:35 2.3K
fin-pp2.sum 23-Mar-2000 08:35 1.2K
fin-pp2.txt 18-Mar-2000 07:30 615
fin-pp3.sum 07-Apr-2000 00:49 2.8K
fin-pp4.sum 07-Apr-2000 00:49 2.8K
fin-ps1.sum 15-Apr-2000 22:15 1.0K
fin-ps2.sum 09-Oct-2000 00:37 1.8K
fin-ps3.sum 10-Oct-2000 18:02 1.3K
fin-q-1.sum 28-Apr-2000 09:32 2.0K
fin-q-2.sum 30-Apr-2000 02:22 1.1K
fin-q-om.sum 30-Apr-2000 02:37 2.4K
fin-ra1.sum 22-Apr-2000 12:40 854
fin-ra2.sum 22-Apr-2000 13:03 785
fin-rasg.sum 11-Mar-2000 00:57 1.1K
fin-sbv.sum 24-Sep-2000 07:59 1.0K
fin-sc1.sum 23-Mar-2000 08:35 1.0K
fin-sc2.sum 16-Apr-2000 00:03 1.5K
fin-sc3.sum 22-Apr-2000 12:40 3.4K
fin-sc4.sum 28-Apr-2000 09:22 1.4K
fin-sc5.sum 22-Apr-2000 12:40 2.3K
fin-sc6.sum 22-Apr-2000 12:40 902
fin-sc7.sum 22-Apr-2000 12:40 1.8K
fin-ss.sum 10-Mar-2000 21:59 2.4K
fin-su.sum 10-Mar-2000 21:59 2.4K
fin-supc.sum 19-Jul-2002 16:13 1.1K
fin-u-ss.sum 07-Apr-2000 00:49 2.0K
fin-u.sum 16-Apr-2000 00:03 1.5K
fin-up.sum 22-Apr-2000 12:40 1.0K
finc-ind.sum 09-Oct-2000 00:37 2.5K
finc-mem.sum 19-Mar-2000 10:38 1.1K
finc-sc.sum 23-Mar-2000 08:35 2.0K
ideas/ 23-Jul-2002 16:21 -
labels.txt 06-Apr-2000 07:13 3.1K
proved/ 06-Jan-2001 16:02 -
summary.log 19-Jul-2002 16:11 17K