runtimeverification/javamop — pull request #107 by kheradmand (2014-10-03 00:07:19+00:00)
Title: removed .docx file

addresses #106. @seriousamlqz