kframework/k — pull request #1076 by yilongli (2014-10-17 18:55:53+00:00)
Title: minor cleanup of rewriters

Since this may affect not only the prover, I separate it from my working branch of refactoring matching logic prover.

Basically, I change the code to use pattern matching instead of unification to match the search pattern.

@dwightguth @andreistefanescu please review