diff options
| author | Pierre-Marie Pédrot | 2018-04-04 13:40:53 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-04-04 13:40:53 +0200 |
| commit | 55674399d4020b6dc1cf9ea55c78ebcde70f2e4a (patch) | |
| tree | 2e6991d36908381da0e206d6d35eb9f553f17964 /interp/implicit_quantifiers.ml | |
| parent | a1a190f5edf1c3c3283babce52d0e1b4d6830328 (diff) | |
| parent | d9a7712b231f92882c2dccdc62d24ea3109abb0e (diff) | |
Merge PR #6407: Fix #6404 - Print tactics called by ML tactics
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions