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

	Name	Last modified	Size	Description
	Parent Directory		-
	Def.v	2012-12-21 07:28	2.0K
	Eval.v	2012-12-21 07:28	7.4K
	Exp.v	2012-12-21 07:28	2.2K
	ExpAlt.v	2012-12-21 07:28	1.6K
	ExpBase.v	2012-12-21 07:28	1.7K
	ExpLift.v	2012-12-21 07:28	5.0K
	ExpSubst.v	2012-12-21 07:28	2.8K
	Preservation.v	2012-12-21 07:28	1.5K
	Progress.v	2012-12-21 07:28	2.3K
	Step.v	2012-12-21 07:28	4.4K
	StepAlt.v	2012-12-21 07:28	1.6K
	StepContext.v	2012-12-21 07:28	1.1K
	SubstExpExp.v	2012-12-21 07:28	3.0K
	Ty.v	2012-12-21 07:28	409
	TyJudge.v	2012-12-21 07:28	5.3K