_CoqProject

-R . IntensionalLib

Closure_calculus/Closure_calculus.v

SF_calculus/Test.v 
SF_calculus/General.v 
SF_calculus/SF_Terms.v 
SF_calculus/SF_Tactics.v 
SF_calculus/SF_reduction.v 
SF_calculus/SF_Normal.v 
SF_calculus/SF_Closed.v 
SF_calculus/Substitution.v 
SF_calculus/SF_Eval.v 
SF_calculus/Star.v 
SF_calculus/Fixpoints.v 
SF_calculus/Extensions.v 
SF_calculus/Tagging.v 
SF_calculus/Adding.v 
SF_calculus/SF_size.v 

Closure_to_SF/Abstraction_to_Combination.v
Closure_to_SF/Eta.v
Closure_to_SF/identity_abs_val.v

Fieska_calculus/Test.v 
Fieska_calculus/General.v 
Fieska_calculus/Fieska_Terms.v 
Fieska_calculus/Fieska_Tactics.v 
Fieska_calculus/Fieska_reduction.v 
Fieska_calculus/Fieska_Normal.v 
Fieska_calculus/Fieska_Closed.v 
Fieska_calculus/Substitution.v 
Fieska_calculus/Fieska_Eval.v 
Fieska_calculus/Star.v 
Fieska_calculus/Fixpoints.v 
Fieska_calculus/Extensions.v 
Fieska_calculus/Tagging.v 
Fieska_calculus/Adding.v 
Fieska_calculus/Fieska_size.v 

Closure_to_Fieska/Abstraction_to_Combination.v
Closure_to_Fieska/Eta.v
Closure_to_Fieska/identity_abs_val.v
Closure_to_Fieska/Optimization.v

Abstraction_calculus/Abstraction_Terms.v 
Abstraction_calculus/Abstraction_Tactics.v
Abstraction_calculus/Abstraction_Reduction.v
Abstraction_calculus/Abstraction_Normal.v
Abstraction_calculus/Abstraction_Equal.v
Abstraction_calculus/Closure_to_Abstraction.v