diff options
| author | Hugo Herbelin | 2019-05-27 22:04:27 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2019-06-16 14:04:19 +0200 |
| commit | 1e3ca892b208c22956d6c8f89a1d5863711d0cd9 (patch) | |
| tree | d56d513b311353eaf0491ccf5bf683a9589a3961 /interp/implicit_quantifiers.ml | |
| parent | e034b4090ca45410853db60ae2a5d2f220b48792 (diff) | |
Overlays for Mtac2 and Equations.
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions