FOR_Preliminaries

Option_Util

SubList

Term_Impl

Unification_More

Unifiers_More

Abstract_Rewriting_Impl

Relation_Closure

Trs

Critical_Pairs

Multihole_Context

Parallel_Rewriting

Orthogonality

Multistep

Trs_Impl

Rewrite_Relations_Impl