diff options
| author | Pierre-Marie Pédrot | 2017-09-05 21:51:59 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-05 21:51:59 +0200 |
| commit | 217bd80b651d2d12b05f74cf21485eb0fea8e3e3 (patch) | |
| tree | 7a24bab2b35db7a35d7a69804e5c3f2c445c4f7c /src/ltac2_plugin.mlpack | |
| parent | 53c63e43a3daf99cf8bd44498b1c53798a8ba876 (diff) | |
Refine does not evar-normalizes the goal preemptively.
Diffstat (limited to 'src/ltac2_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions