diff options
| author | Brian Campbell | 2018-05-24 13:41:16 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-24 16:10:48 +0100 |
| commit | 5145c143cfd69617ac72932c4cf44c0d9de9d6df (patch) | |
| tree | c8664bd4fd5035d31e8f53e09dec1cdb2fc291c1 /lib/coq | |
| parent | 52965bdc2875ea35f5433e22307a1e951d054417 (diff) | |
Coq: record conditionals in the context for constraint solving
Diffstat (limited to 'lib/coq')
0 files changed, 0 insertions, 0 deletions