diff options
author | Jason Gross <jagro@google.com> | 2016-09-05 11:42:26 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-09-05 11:42:26 -0700 |
commit | fe4b156f34c8a0ac994ff4cdb40755d23bc5e7b9 (patch) | |
tree | a739ef426db849d13d99590bd162129a956572e9 /src/Util/PointedProp.v | |
parent | 585e14a6fe331539626a0ae2188aa51985c4f570 (diff) |
Add a lemma about semidecidable things to Decidable
Diffstat (limited to 'src/Util/PointedProp.v')
0 files changed, 0 insertions, 0 deletions