-R theories Lambda
theories/Equivalence.v
theories/Evaluation.v
theories/L.v
theories/UniformConfluence.v