A
bstract_
S
ubstitution
Substitution
Substitution_First_Order_Term
Substitution_HOL_ex_Unification