Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
Basic_Prop_lex.v		Basic_Prop_lex.v
Conclusion.v		Conclusion.v
Equation_C.v		Equation_C.v
IE_Property.v		IE_Property.v
Introduction.v		Introduction.v
Lambda.v		Lambda.v
LambdaESLab_Defs.v		LambdaESLab_Defs.v
LambdaESLab_Lib.v		LambdaESLab_Lib.v
LambdaES_Defs.v		LambdaES_Defs.v
LambdaES_FV.v		LambdaES_FV.v
LambdaES_Infra.v		LambdaES_Infra.v
LambdaES_Tac.v		LambdaES_Tac.v
Lambda_Ex.v		Lambda_Ex.v
LexSN.v		LexSN.v
LibTactics.v		LibTactics.v
Makefile		Makefile
Metatheory.v		Metatheory.v
Metatheory_Fresh.v		Metatheory_Fresh.v
Metatheory_Tactics.v		Metatheory_Tactics.v
Metatheory_Var.v		Metatheory_Var.v
README.md		README.md
Rewriting_Defs.v		Rewriting_Defs.v
Rewriting_Lib.v		Rewriting_Lib.v