diff options
| author | Hugo Herbelin | 2016-10-14 19:06:10 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-10-14 20:00:28 +0200 |
| commit | d8e87360b6413d9eb02c2c47441c8f48b816eac3 (patch) | |
| tree | 3bfd16c875d116cc520088ea6c74d2646d0c829d /engine | |
| parent | db18609c06b73ac168ad06a0c2073188587f5814 (diff) | |
Using "simple apply" and "simple eapply" in the trace of auto.
This is more precise and probably clearer (see e.g. thread
"Understanding auto" on coq-club).
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions