kind-mc/kind2 — pull request #19 by PaulMeng (2013-10-25 20:47:04+00:00)
Title: Kind2 interpreter

added meaningful not_found exception messages