Cleaning up proof part
authorrtrimana <rtrimana@uci.edu>
Tue, 16 Aug 2016 22:38:56 +0000 (15:38 -0700)
committerrtrimana <rtrimana@uci.edu>
Tue, 16 Aug 2016 22:38:56 +0000 (15:38 -0700)
commitf86a19b02daba474e44589ef4f72f6cf365a76c1
tree001951de258320f8cccbae584430a58a790c48bf
parentb3268a5e142973ff90796c2afab456b5a22fce4c
parent2b9f991bf3d413efd741b69006ce041a2e3cfb2e
Cleaning up proof part
doc/iotcloud.tex