diff options
author | 2016-06-25 20:54:49 +0200 | |
---|---|---|
committer | 2016-06-27 12:36:10 +0200 | |
commit | cbbc76d0ac6c9710d341b8bc0362aa9d7599f45d (patch) | |
tree | 58b66cac9b7a602835b49273e0468badb1820df4 /test-suite/success/Notations.v | |
parent | c1caa158add73e6e6028ade81a0cb4540a845d18 (diff) |
Patterns in binders: functional tests
Diffstat (limited to 'test-suite/success/Notations.v')
0 files changed, 0 insertions, 0 deletions