Looking at Terms

• ref-lte-met: Meta-logical Predicates
• ref-lte-act: Analyzing and Constructing Terms
• ref-lte-acl: Analyzing and Constructing Lists
• ref-lte-c2t: Converting between Constants and Text
• ref-lte-anv: Assigning Names to Variables
• ref-lte-cpt: Copying Terms
• ref-lte-cte: Comparing Terms
• ref-lte-lib: Library Support
• ref-lte-sum: Summary of Predicates