aboutsummaryrefslogtreecommitdiff
path: root/LICENSE
diff options
context:
space:
mode:
authorGravatar Jason Gross <jagro@google.com>2016-07-29 11:56:08 -0700
committerGravatar Jason Gross <jagro@google.com>2016-07-29 11:56:08 -0700
commit8cdbaf69e02f5784b392adb99abc89d2be663ad2 (patch)
tree36b06933c23138defe0b7af5ded488a56aa5b838 /LICENSE
parentf4e85257de36e77fa45f1e60e4cfea8b3378f4f8 (diff)
Add a lemma about hprop and eq
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions