Index of /paper/witness/witness-jfp/Appendix

	Name	Last modified	Size	Description
	Parent Directory		-
	ProofCommutableResidues.tex	2011-02-11 00:49	2.4K
	ProofCommutableActions.tex	2011-02-11 00:49	4.6K
	Main.tex	2011-02-05 05:11	1.8K
	ProofVisibleActions.tex	2011-02-05 05:07	15K
	ProofPreservation.tex	2011-02-05 05:07	18K
	ProofProgress.tex	2011-02-05 02:58	10K
	ProofSubstValuesInValues.tex	2011-02-05 02:52	5.8K
	ProofSubstTypesInValues.tex	2011-02-05 02:52	8.1K
	ProofSubstTypesInTypes.tex	2011-02-05 02:52	3.8K
	ProofSubstTypesInKinds.tex	2011-02-05 02:52	3.5K
	Lemmas.tex	2011-02-05 02:52	6.8K
	Formalities.tex	2011-02-05 02:52	1.4K
	Extensions.tex	2011-01-12 02:09	3.2K