performs renaming of constants, functions and predicate symbols
***** Term Replacement ********** replaces all occurences of term "what" by term "by" in term "term" -- be careful with replacing variables, there is no scope checking
***** Term Replacement ********** replaces all occurences of term "what" by term "by" in term "term" -- be careful with replacing variables, there is no scope checking
usable on resolution proofs
***** Term Replacement ********** replaces all occurences of term "what" by term "by" in term "term" -- be careful with replacing variables, there is no scope checking
***** Term Replacement ********** replaces all occurences of term "what" by term "by" in term "term" -- be careful with replacing variables, there is no scope checking
usable on subclasses of lambda expressions and fsequents