at.logic.gapt.algorithms.rewriting
***** 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
***** 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