Index of /~belinfan/research/autoreas/otter/sum/dom
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
agenda.txt 06-Nov-1997 23:13 190
all.cls 27-Nov-1997 14:45 6.3K
![[ ]](/icons/unknown.gif)
all.pos 27-Nov-1997 14:45 1.9K
![[DIR]](/icons/folder.gif)
bad/ 20-Aug-2007 11:15 -
dom-1.sum 04-Nov-1997 23:56 1.2K
dom-2.sum 04-Nov-1997 23:56 1.2K
dom-3.sum 06-Nov-1997 22:57 1.1K
dom-ap.sum 05-Nov-1997 16:54 1.1K
dom-co.sum 05-Nov-1997 00:30 1.8K
dom-cp.sum 04-Nov-1997 23:56 1.2K
dom-do.sum 04-Nov-1997 23:56 737
dom-e.sum 08-Nov-1997 16:02 1.3K
dom-ra.sum 04-Nov-1997 23:56 1.4K
dom-sc.sum 08-Nov-1997 16:13 1.4K
dom-sr-1.sum 06-Nov-1997 22:57 2.1K
dom-sr.sum 06-Nov-1997 22:57 3.2K
dom-sr2a.sum 06-Nov-1997 22:57 1.3K
dom-sr2b.sum 07-Nov-1997 21:10 2.3K
dom-u.sum 06-Nov-1997 22:57 1.1K
summary.log 08-Nov-1997 16:13 1.4K