/theories/

• ../
• Equivalence.v
• Evaluation.v
• L.v
• UniformConfluence.v