aboutsummaryrefslogtreecommitdiff
path: root/src/Util/ZUtil/Tactics/PeelLe.v
Commit message (Expand)AuthorAge
* Fix an infinite loop in Z.peel_leGravatar Jason Gross2018-07-06
* Split off ZUtil initial hint databasesGravatar Jason Gross2017-05-13