_CoqProject

-R src FFJ

src/Base.v
src/Lists.v
src/Tactics.v
src/Util/Environment.v
src/Util/Id.v
src/Util/Referable.v
src/FFJ/Lemmas.v
src/FFJ/Syntax.v
src/FFJ/ClassTable.v
src/FFJ/TypeSafety.v
src/FFJ/EvaluationContext.v
src/FFJ/Semantics.v
src/Lists/Forall2.v
src/Lists/In.v
src/Lists/Nth_error.v
src/Lists/Last_error.v
src/Lists/ZipWith.v
src/Tactics/Crush.v
src/Tactics/LibTactics.v
src/Tactics/Case.v