diff options
| author | Pierre-Marie Pédrot | 2017-08-25 14:11:48 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-25 16:22:21 +0200 |
| commit | 47eb0278a3cdf93129b1742e314681d65bd6475a (patch) | |
| tree | cf2c41fa57a1d772b3780387ed51ff05365c1e32 /tests/example2.v | |
| parent | c41f5d406f627e94363b4549ef268ffa33e7b681 (diff) | |
More bindings to primitive tactics.
Diffstat (limited to 'tests/example2.v')
0 files changed, 0 insertions, 0 deletions