diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-05-05 18:08:13 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-05-05 18:08:13 +0200 |
| commit | 2c5b74e0b45eb8a6a956e0bde13be16379b54714 (patch) | |
| tree | c9cdb427577d1ca906051503d72ac363e9dd106f /tactics/eauto.ml | |
| parent | 6c92a59efd01b4fd8a11eebb01fc5d2a3db6c2ee (diff) | |
| parent | 2553e4bf5735a2bd127832e2d26609c6a8096fb7 (diff) | |
Merge PR#598: Removing dead code in Autorewrite.
Diffstat (limited to 'tactics/eauto.ml')
0 files changed, 0 insertions, 0 deletions