diff options
author | 2017-06-19 23:54:21 +0200 | |
---|---|---|
committer | 2017-06-19 23:54:21 +0200 | |
commit | 6cc617b570da186c3a80eb5219715bf244c45627 (patch) | |
tree | 9e9185febbdaea8aa3e3c34dd9b617f48de4c7b9 /tactics/hipattern.mli | |
parent | ff56c76126784897fe0df6f2443fc738245a40a2 (diff) | |
parent | 6c6c045a42dc591a0c35730e0abff80be0c8b9bb (diff) |
Merge PR#787: [typeclasses eauto] Fix bug #3943: non-termination in topological
Diffstat (limited to 'tactics/hipattern.mli')
0 files changed, 0 insertions, 0 deletions