diff options
| author | Pierre-Marie Pédrot | 2017-08-02 16:46:12 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-02 16:56:34 +0200 |
| commit | 9088f6db4f56d906d8a18eeaf09c9adbae4a5fd4 (patch) | |
| tree | b821aecb4f69a9b9656108452d97e3d5a1cfc9e4 /tests/example2.v | |
| parent | faf40da077f20a67a45fe98f8ef99f90440ef16d (diff) | |
Merging the e/- variants of primitive tactics.
Diffstat (limited to 'tests/example2.v')
0 files changed, 0 insertions, 0 deletions