FOR_Preliminaries

Option_Util

SubList

Trs

Critical_Pairs

Multihole_Context

Parallel_Rewriting

Orthogonality

Multistep

Trs_Impl

Rewrite_Relations_Impl