Term Manipulation

• lib-tma-bas: Introduction
• lib-tma-trm: The Six Term Manipulation Packages
• lib-tma-arg: Finding a Term's Arguments --- library(arg)
• lib-tma-changearg: Altering Term Arguments --- library(changearg)
• lib-tma-occurs: Checking Terms for Subterms --- library(occurs)
• lib-tma-aor: Note on Argument Order
• lib-tma-samefunctor: Checking Functors --- library(samefunctor)
• lib-tma-subsumes: Term Subsumption --- library(subsumes)
• lib-tma-unify: Unification --- library(unify)
• lib-tma-termdepth: library(termdepth)