diff options
| author | Vincent Laporte | 2019-06-04 12:57:16 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-06-06 08:39:18 +0000 |
| commit | fe49db8833803f87e2f750b698f28868d276bfe6 (patch) | |
| tree | 70a687a0cbf4b9ea3954bf6892383f4e26282237 /engine/proofview.ml | |
| parent | 4f7af2b09a935528d660a354f5e7672fc92e9a5c (diff) | |
[Ltac2] Interpretation scopes in “constr” arguments of tactic notations
Diffstat (limited to 'engine/proofview.ml')
0 files changed, 0 insertions, 0 deletions