Implementation of a pattern-based substitution method for Isabelle