kframework/k — pull request #1065 by yilongli (2014-10-13 17:40:16+00:00)
Title: removed duplicate rules in indexing table

@dwightguth please review