diff options
| author | Hugo Herbelin | 2017-08-15 15:14:46 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-02-20 10:03:05 +0100 |
| commit | 84e3da72fc14b996b0a917c5b6f011df4b79ab86 (patch) | |
| tree | 3f7fbf3c7fa84f8aaeec66cecf90a7809a7fe8f3 /interp/implicit_quantifiers.ml | |
| parent | 34cf92821e03a2c6ce64c78c66a00624d0fe9c99 (diff) | |
Preliminary steps before adding general support for patterns in notations.
Moving earlier functions which will be needed earlier.
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions