diff options
author | Matthieu Sozeau <mattam@mattam.org> | 2014-10-07 17:01:30 +0200 |
---|---|---|
committer | Matthieu Sozeau <mattam@mattam.org> | 2014-10-07 17:01:30 +0200 |
commit | 2313bde0116a5916912bebbaca77d291f7b2760a (patch) | |
tree | 3a76913ad1c28e2f2c7ce963941857be38520cbf /tactics/eauto.mli | |
parent | 9207e875828d028806d054efb079ed7a088ed305 (diff) |
Add test-suite file for the projection unfolding bug I just fixed.
Diffstat (limited to 'tactics/eauto.mli')
0 files changed, 0 insertions, 0 deletions