proved while true inequiv skip in Equiv.v
proved while true inequiv skip in Equiv.v

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