F
irst_
O
rder_
T
erms
Transitive_Closure_More
Renaming2
Lists_are_Infinite
Renaming2_String
Seq_More
Fun_More
Option_Monad
Term
Term_Pair_Multiset
Abstract_Matching
Unifiers
Abstract_Unification
Unification
Matching
Unification_String
Subsumption
Subterm_and_Context
Position
Term_More