diff options
| author | Brian Campbell | 2019-05-21 12:42:09 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-21 12:42:09 +0100 |
| commit | 6328da7d2ce8e2c1f378c941f25739f60d55570b (patch) | |
| tree | 585cd081e2c1e3e03ac2b115f6ec7aa5a90415f0 /src/pattern_completeness.ml | |
| parent | a1166afa11ddd8b6f60e3959b962776413dcb05e (diff) | |
Coq: remove premature unfolding of local definitions
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions