diff options
| author | Brian Campbell | 2018-09-11 17:47:25 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-09-11 17:51:09 +0100 |
| commit | 962853c6bf48fdf3fe0522549d5690348cf8c1ae (patch) | |
| tree | 39f888f2bd931a08d971f6032d724de3c9ac01bf /src/specialize.ml | |
| parent | ae8a62a69cca609e7ce29bc08e7770d6c4c245e7 (diff) | |
Coq: some basic handling for more existentials
Diffstat (limited to 'src/specialize.ml')
0 files changed, 0 insertions, 0 deletions