<parent>

ansi.mk	0.002 MB	dg.c	0.002 MB	README	0.002 MB	stig.ksh	0.000 MB
baruch.c	0.000 MB	dg.hint	0.002 MB	rules	0.009 MB	tbr.c	0.001 MB
baruch.hint	0.002 MB	jaw.c	0.001 MB	scjones.c	0.001 MB	tbr.hint	0.004 MB
cmills.c	0.001 MB	jaw.hint	0.007 MB	scjones.hint	0.003 MB	theorem.c	0.002 MB
cmills.hint	0.001 MB	LANDER.BAS	0.002 MB	shark.sh	0.001 MB	theorem.hint	0.003 MB
common.mk	0.002 MB	Makefile	0.002 MB	stig.c	0.000 MB	westley.c	0.002 MB
dds.c	0.001 MB	pjr.c	0.001 MB	stig.hint	0.002 MB	westley.hint	0.002 MB
dds.hint	0.003 MB	pjr.hint	0.002 MB