From: tkwa <kwathomas0@gmail.com>
Date: Mon, 1 Aug 2016 18:18:36 +0000 (-0700)
Subject: Minor fixes to pseudocode and proof
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=iotcloud.git;a=commitdiff_plain;h=6f2c3c4e73a56ce088dcbf9cac647ec4f827bf89;hp=6f2c3c4e73a56ce088dcbf9cac647ec4f827bf89

Minor fixes to pseudocode and proof
---