kind-mc/kind2 — pull request #13 by PaulMeng (2013-09-25 20:11:40+00:00)
Title: Added interpreter

- Added interpreter to kind2