diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-28 15:29:47 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-28 15:29:47 +0200 |
commit | 1fab152558a941c500067599d6b2043e1176a446 (patch) | |
tree | d7466b103c9adeacb05bfbc110688534a0709d01 /test-suite/success/refine.v | |
parent | aa44f98e8a8586f4bc1b96a69f6f39c1f20bed5e (diff) | |
parent | 5b96722d51026c47fe569df85a5ffc4d14397d12 (diff) |
Merge PR #7948: Syntax for naming an existential variable
Diffstat (limited to 'test-suite/success/refine.v')
0 files changed, 0 insertions, 0 deletions