de.uka.ilkd.key.rule.match.vm
Classes
TacletMatchProgram
TermNavigator
TermNavigator.MutablePair
VMTacletMatcher