Index of /~belinfan/research/autoreas/otter/sum/idp
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
all.cls 19-Jul-2002 18:27 6.8K
![[ ]](/icons/unknown.gif)
all.pos 19-Jul-2002 18:27 1.9K
all.txt 19-Jul-2002 18:28 821
idp-1.sum 17-Dec-1998 01:47 1.2K
idp-2.sum 17-Dec-1998 02:01 916
idp-co-1.sum 17-Dec-1998 13:01 960
idp-co-2.sum 17-Dec-1998 13:43 1.8K
idp-co-3.sum 17-Dec-1998 17:59 843
idp-do.sum 17-Dec-1998 02:19 787
idp-fu.sum 17-Dec-1998 01:20 701
idp-im-1.sum 19-Jul-2002 18:28 1.1K
idp-im-2.sum 17-Dec-1998 12:19 2.7K
idp-im-3.sum 17-Dec-1998 14:23 1.1K
idp-im-4.sum 17-Dec-1998 16:09 1.0K
idp-im-5.sum 17-Dec-1998 16:09 1.2K
idp-im-6.sum 17-Dec-1998 16:09 1.3K
idp-im.txt 17-Dec-1998 12:32 1.2K
idp-oo.sum 17-Dec-1998 17:51 2.0K
idp-ra.sum 17-Dec-1998 02:48 2.9K
idp-sc.sum 19-Jul-2002 18:28 1.5K
idp-sr.sum 17-Dec-1998 16:36 1.3K
idp-ss.sum 17-Dec-1998 15:04 1.9K
idp-v.sum 20-Dec-1998 11:36 708
idp.txt 17-Dec-1998 00:59 388
summary.log 19-Jul-2002 18:28 2.3K