Proof_Term_Utils

Linear_Matching

Proof_Terms

Residual_Join_Deletion

Orthogonal_PT

Labels_and_Overlaps

Redex_Patterns