kframework/k — pull request #559 by radumereuta (2014-06-07 02:07:15+00:00)
Title: Caching rules before disambiguation.

Unfortunately the diff also contains windows to linux line termination conversion which makes the diff a bit harder to read.