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

	Name	Last modified	Size	Description
	Parent Directory		-
	10-Fragment/	2013-09-03 05:49	-
	20-PrimOps/	2012-02-18 10:30	-
	20-Universe/	2013-11-17 03:51	-
	21-Application/	2013-09-03 05:49	-
	22-Equiv/	2013-09-03 05:49	-
	25-Typing/	2013-09-20 09:03	-
	30-Letrec/	2013-11-20 10:31	-
	30-Transform/	2013-05-27 07:03	-
	40-Letregion/	2013-11-20 10:31	-
	40-Witness/	2013-11-17 03:51	-
	50-Case/	2013-11-20 10:31	-
	70-TypeApp/	2013-09-03 05:49	-
	80-Anonymous/	2013-09-03 05:49	-
	90-Preservation/	2013-09-03 05:49	-
	91-Capabilities/	2013-11-20 10:31	-
	92-Store/	2013-11-20 10:31	-
	99-Defib/	2012-01-26 09:18	-
	Broken-skip/	2013-11-20 10:31	-
	Lazy-skip/	2012-01-26 09:18	-