menu

Return to entry

Proof_Term_Utils
Linear_Matching
Proof_Terms
Residual_Join_Deletion
Orthogonal_PT
Labels_and_Overlaps
Redex_Patterns

Proof_Terms_Term_Rewriting.Redex_Patterns

HTML Presentation