summaryrefslogtreecommitdiff
path: root/Test/wishlist/tooltips-on-inductive-lemmas.dfy.expect
Commit message (Expand)AuthorAge
* Add a few things to the wishlistGravatar Clément Pit--Claudel2015-08-21