diff options
| author | Brian Campbell | 2019-03-05 12:17:49 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-05 12:17:49 +0000 |
| commit | 701b188b6f17d9f54480654e5959c606a8947c88 (patch) | |
| tree | dd8272ed92b625388ab67e1bcace1e3d00e7728e /src/bytecode_util.ml | |
| parent | 542533ac7cbef0377de8413c3ac84c6fff2b9964 (diff) | |
Coq: use setoid rewriting to apply under an existential binder
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions