Index of /~belinfan/research/autoreas/otter/sum/least
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
all.cls 28-Dec-2000 17:03 9.3K
![[ ]](/icons/unknown.gif)
all.pos 28-Dec-2000 17:03 2.7K
all.txt 27-Dec-2000 08:22 773
![[DIR]](/icons/folder.gif)
altproof/ 23-Jul-2002 16:21 -
labels.txt 27-Dec-2000 08:26 819
least.txt 26-Nov-2000 17:34 351
lt-0.sum 05-Dec-2000 06:01 774
lt-co-id.sum 24-Nov-2000 21:50 1.2K
lt-cp.sum 28-Dec-2000 08:06 1.1K
lt-df-1.sum 02-Dec-2000 00:11 1.2K
lt-df-2.sum 02-Dec-2000 00:11 906
lt-df-3.sum 02-Dec-2000 00:12 1.2K
lt-df-4.sum 25-Dec-2000 15:04 1.4K
lt-do-0.sum 05-Dec-2000 17:51 912
lt-do-rs.sum 28-Dec-2000 17:02 1.3K
lt-do.sum 05-Dec-2000 05:34 1.0K
lt-do.txt 05-Dec-2000 05:44 595
lt-fu.sum 24-Nov-2000 22:29 1.9K
lt-i.sum 05-Dec-2000 07:59 1.2K
lt-id-co.sum 22-Dec-2000 08:14 793
lt-idx.sum 27-Dec-2000 08:10 1.1K
lt-im-pc.sum 28-Dec-2000 08:06 1.0K
lt-in-1.sum 24-Nov-2000 20:02 1.1K
lt-in-2.sum 24-Nov-2000 20:08 967
lt-ra.sum 05-Dec-2000 07:40 851
lt-rs.sum 27-Dec-2000 08:46 1.1K
lt-ss.sum 05-Dec-2000 08:33 1.4K
lt-ss.txt 05-Dec-2000 09:11 596
lt-up.sum 05-Dec-2000 16:54 3.7K
lt-v.sum 24-Nov-2000 19:49 965
proofuse.txt 27-Dec-2000 08:26 1.0K
proved/ 06-Jan-2001 16:00 -
summary.log 28-Dec-2000 17:02 3.1K