Updated 2013-05-15-from-functions-to-term-rewriting-and-back.md