diff options
| author |  jadep <jade.philipoom@gmail.com> | 2017-04-27 16:57:17 -0400 |
|---|---|---|
| committer | jadephilipoom <jade.philipoom@gmail.com> | 2017-05-01 14:34:48 -0400 |
| commit | 43ac3c7d767df147910a2fd3a4b1314deb8cd351 (patch) | |
| tree | d6df78a45e8c76d42a43f1cb52e250a1f6fd4f3b /src/Util/CPSUtil.v | |
| parent | e4d70303b6d4815141e5adafc6deab58aa676629 (diff) | |
move some lemmas to Core and define a tuple-select operation
Diffstat (limited to 'src/Util/CPSUtil.v')
0 files changed, 0 insertions, 0 deletions