Index of /~belinfan/research/autoreas/otter/sum/dedekind
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
agenda.txt 12-Jun-2000 08:10 1.7K
all.cls 12-Jun-2000 12:36 5.7K
all.pos 12-Jun-2000 12:36 2.2K
all.txt 12-Jun-2000 12:39 460
![[DIR]](/icons/folder.gif)
altproof/ 20-Aug-2007 12:00 -
dk-0.sum 02-Jun-2000 14:36 1.4K
dk-c-df.sum 02-Jun-2000 14:36 1.0K
dk-c-om.sum 12-Jun-2000 09:07 4.0K
dk-fin.sum 02-Jun-2000 21:31 836
dk-k-in.sum 02-Jun-2000 20:49 4.9K
dk-k.sum 02-Jun-2000 20:43 5.0K
dk-k.txt 02-Jun-2000 20:36 1.0K
dk-mem-1.sum 12-Jun-2000 11:11 2.1K
dk-mem-2.sum 12-Jun-2000 11:11 1.9K
dk-om-q1.sum 12-Jun-2000 12:30 3.2K
dk-om-q2.sum 12-Jun-2000 12:30 2.5K
dk-om-q2.txt 12-Jun-2000 12:29 512
dk-pig.sum 03-Jun-2000 12:32 2.5K
dk-q.sum 02-Jun-2000 14:36 4.0K
dk-ss.sum 02-Jun-2000 14:36 2.8K
oldproof/ 20-Aug-2007 12:00 -
![[ ]](/icons/unknown.gif)
summary.log 12-Jun-2000 12:29 1.6K
work/ 20-Aug-2007 12:00 -