CasualConc for Yosemite bug fix

投稿日: Nov 15, 2014 4:23:21 AM

I found a bug in lemma handling. It should be fixed.