Index of /ddc/icebox/ddc-stable.old-darcs/proof/DDC/Language/SystemF2Data

	Name	Last modified	Size	Description
	Parent Directory		-
	TyJudge.v	2012-12-21 07:28	12K
	SubstTypeExp.v	2012-12-21 07:28	2.8K
	SubstExpExp.v	2012-12-21 07:28	3.1K
	StepContext.v	2012-12-21 07:28	1.2K
	Step.v	2012-12-21 07:28	4.5K
	Progress.v	2012-12-21 07:28	4.0K
	Preservation.v	2012-12-21 07:28	2.2K
	ExpSubst.v	2012-12-21 07:28	3.7K
	ExpLift.v	2012-12-21 07:28	5.4K
	ExpBase.v	2012-12-21 07:28	2.1K
	ExpAlt.v	2012-12-21 07:28	1.6K
	Exp.v	2012-12-21 07:28	2.6K
	Eval.v	2012-12-21 07:28	8.6K
	Def.v	2012-12-21 07:28	6.7K