Completed Stlc with arithmetic in StlcProp.v
Completed Stlc with arithmetic in StlcProp.v

shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps