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

	Name	Last modified	Size	Description
	Parent Directory		-
	TySubsts.v	2012-12-21 07:28	8.0K
	TySubst.v	2012-12-21 07:28	4.5K
	TyLift.v	2012-12-21 07:28	5.2K
	TyJudge.v	2012-12-21 07:28	5.0K
	TyEnv.v	2012-12-21 07:28	1.8K
	TyBase.v	2012-12-21 07:28	6.7K
	Ty.v	2012-12-21 07:28	146
	SubstTypeType.v	2012-12-21 07:28	1.6K
	SubstTypeExp.v	2012-12-21 07:28	1.4K
	SubstExpExp.v	2012-12-21 07:28	1.3K
	Step.v	2012-12-21 07:28	3.2K
	Progress.v	2012-12-21 07:28	1.4K
	Preservation.v	2012-12-21 07:28	1.6K
	KiJudge.v	2012-12-21 07:28	2.5K
	Ki.v	2012-12-21 07:28	205
	Exp.v	2012-12-21 07:28	3.2K
	Eval.v	2012-12-21 07:28	3.9K