diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-06-19 23:54:21 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 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