Index of books/clause-processors

Files

• equality
• ev-find-rules
• ev-theoremp
• generalize
• join-thms
• magic-ev
• meta-extract-user
• remove-hyp
• term-vars
• unify-subst
• use-by-hint
• witness-cp