diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2016-05-30 18:01:14 -0700 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2016-05-30 18:01:14 -0700 |
commit | ae5236eeda43ff591b9264d653727d4ae7d1de68 (patch) | |
tree | 86ef6f38280e4f0a7a1fe78f6bc3a88aecda252a /src/proof | |
parent | e71d5ff52ea5c098df9f0be62c91468a9b5413b5 (diff) |
Added Guy to authors list.
Diffstat (limited to 'src/proof')
0 files changed, 0 insertions, 0 deletions