diff options
| author | Brian Campbell | 2018-12-18 10:30:27 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-12-19 17:55:26 +0000 |
| commit | 66b55de7e24ab546aff3eba17d21b86d47306a6d (patch) | |
| tree | 55accf59fb23bf7d275b1191391560411f763d9b /src/ocaml_backend.ml | |
| parent | 07a332c856b3ee9fe26a9cd47ea6005f9d579810 (diff) | |
Coq: handle existentials in hypotheses during solving, add max_nat, better casts
Diffstat (limited to 'src/ocaml_backend.ml')
0 files changed, 0 insertions, 0 deletions