diff options
author | 2016-10-14 16:53:19 +0200 | |
---|---|---|
committer | 2016-10-29 11:58:12 +0200 | |
commit | e807f3407fb19f481dac332e7650eddfa9b5fd5d (patch) | |
tree | c2292475b608bf31f5fee13974e82c205349c9ff /tactics/autorewrite.mli | |
parent | a4458475187de726b1518e536cb1a42e8c9d0534 (diff) |
Documenting changes in typeclasses
Diffstat (limited to 'tactics/autorewrite.mli')
0 files changed, 0 insertions, 0 deletions