prove progress for stlc with subtyping in Sub.v
prove progress for stlc with subtyping in Sub.v

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