diff options
| author | Pierre Roux | 2019-05-10 16:48:40 +0200 |
|---|---|---|
| committer | Pierre Roux | 2019-05-10 16:48:40 +0200 |
| commit | a17626eb716b8a7b0ae5c1387f485223ba1c2de5 (patch) | |
| tree | c6cf0c33d1c42f4e121e4a4badd41922858483ea /interp/implicit_quantifiers.ml | |
| parent | f913913a6a1b1e01d154d0c9af3b3807459b0b9f (diff) | |
[ltac2] Add primitive integers
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions