Index of /ddc/icebox/ddc-head.old-darcs/test/ddc-main/50-CoreEval/22-Equiv

	Name	Last modified	Size	Description
	Parent Directory		-
	Test.dcx	2013-09-03 05:49	3.2K
	Test.stdout.check	2012-07-30 09:21	1.2K