diff options
| author | Brian Campbell | 2019-04-19 14:44:48 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-04-19 14:44:48 +0100 |
| commit | d2b4e990d915a121c59cf58f2ea7a89348c0d55c (patch) | |
| tree | 8b0f108e7ad460de56c234bb0951068560bf2b82 /src/rewrites.ml | |
| parent | 59adf48b33e49ea07ee1ab0984be066f60115041 (diff) | |
Coq: when replacing n_constraints in types allow for some rearrangement
(in particular, to cope with Type_check.simp_typ)
Diffstat (limited to 'src/rewrites.ml')
0 files changed, 0 insertions, 0 deletions