Index of /~belinfan/research/autoreas/otter/sum/invar
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
agenda.txt 02-Feb-1999 07:57 1.5K
all.cls 30-Nov-2000 17:03 21K
![[ ]](/icons/unknown.gif)
all.pos 30-Nov-2000 17:02 6.1K
all.txt 29-Dec-1999 14:24 804
invar.txt 09-Jan-1999 09:53 2.4K
ivr-0-a.sum 04-Feb-2000 18:05 747
ivr-0.sum 10-Jan-1999 09:22 1.1K
ivr-1.sum 26-Dec-1998 23:50 1.6K
ivr-2.sum 26-Dec-1998 23:50 1.9K
ivr-3.sum 26-Dec-1998 23:50 1.1K
ivr-4.sum 26-Dec-1998 23:50 1.6K
ivr-5.sum 26-Dec-1998 23:50 3.6K
ivr-a.sum 26-Dec-1998 23:50 2.6K
ivr-ba.sum 29-Dec-1999 14:20 2.0K
ivr-bc-s.sum 13-Feb-1999 17:35 2.8K
ivr-bc1.sum 13-Feb-1999 11:51 1.0K
ivr-bc1a.sum 13-Feb-1999 11:51 2.0K
ivr-bc1a.txt 13-Feb-1999 12:13 400
ivr-bc1b.sum 13-Feb-1999 18:40 2.0K
ivr-bc1b.txt 13-Feb-1999 18:36 613
ivr-bc1c.sum 13-Feb-1999 19:21 2.0K
ivr-bc1d.sum 13-Feb-1999 21:08 1.1K
ivr-bc2.sum 10-Feb-1999 00:54 1.2K
ivr-bc2a.sum 13-Feb-1999 19:41 1.3K
ivr-bc2b.sum 13-Feb-1999 21:23 1.1K
ivr-bc2c.sum 13-Feb-1999 22:22 1.5K
ivr-bc3.sum 10-Feb-1999 00:55 1.4K
ivr-bc4.sum 10-Feb-1999 00:56 1.4K
ivr-bc4.txt 10-Feb-1999 00:53 755
ivr-c-do.sum 09-Jan-1999 12:39 1.8K
ivr-co-1.sum 30-Nov-2000 16:17 920
ivr-do1.sum 09-Feb-1999 22:46 822
ivr-do2.sum 09-Feb-1999 22:50 889
ivr-e.sum 29-Dec-1999 14:20 1.1K
ivr-e.txt 10-Jan-1999 15:29 555
ivr-fp.sum 20-Feb-2000 11:54 1.6K
ivr-ful.txt 02-Feb-1999 16:16 1.4K
ivr-ful1.sum 02-Feb-1999 09:54 907
ivr-ful2.sum 29-Dec-1999 14:20 1.2K
ivr-ful2.txt 13-Feb-1999 12:17 225
ivr-ful3.sum 29-Dec-1999 14:20 1.2K
ivr-ful4.sum 29-Dec-1999 22:05 947
ivr-ful5.sum 29-Dec-1999 22:05 948
ivr-her1.sum 23-Feb-1999 08:24 2.1K
ivr-her2.sum 23-Feb-1999 08:21 1.4K
ivr-i-di.sum 30-Nov-2000 16:54 2.2K
ivr-i-di.txt 30-Nov-2000 16:59 491
ivr-id.sum 26-Dec-1998 23:50 825
ivr-idx.sum 26-Dec-1998 23:50 1.4K
ivr-im.sum 09-Feb-1999 12:25 1.2K
ivr-img1.sum 02-Feb-1999 08:24 2.6K
ivr-img2.sum 02-Feb-1999 08:34 864
ivr-img3.sum 02-Feb-1999 09:31 1.4K
ivr-mem0.sum 26-Dec-1998 23:50 778
ivr-om-c.sum 06-Feb-2000 14:52 2.2K
ivr-om1.sum 04-Feb-2000 17:38 940
ivr-om2.sum 04-Feb-2000 17:39 3.2K
ivr-on-1.sum 27-Dec-1998 00:04 2.6K
ivr-on-2.sum 26-Dec-1998 23:50 1.7K
ivr-on-3.sum 30-Dec-1999 09:56 2.1K
ivr-on-4.sum 26-Dec-1998 23:50 1.4K
ivr-on-5.sum 05-Feb-2000 07:14 2.3K
ivr-on-6.sum 05-Feb-2000 07:14 1.6K
ivr-on3a.sum 20-Feb-2000 11:54 1.4K
ivr-ra.sum 13-Feb-1999 11:51 832
ivr-sc1.sum 26-Dec-1998 23:50 2.7K
ivr-sc1a.sum 29-Dec-1999 21:50 1.5K
ivr-sc2.sum 09-Jan-1999 15:41 2.3K
ivr-sr.sum 26-Dec-1998 23:50 1.2K
ivr-su.sum 09-Jan-1999 10:16 1.5K
ivr-suc.sum 04-Feb-2000 18:55 2.1K
ivr-u-id.sum 30-Nov-2000 16:37 1.1K
ivr-u.sum 09-Jan-1999 11:46 3.4K
ivr-v.sum 09-Jan-1999 12:39 1.0K
![[DIR]](/icons/folder.gif)
ivru-lem/ 23-Jul-2002 16:21 -
labels.txt 23-Feb-1999 08:43 2.4K
proofuse.txt 04-Feb-2000 17:36 2.0K
studyall.txt 04-Feb-2000 17:35 6.8K
summary.log 30-Nov-2000 17:00 7.8K