aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/find_subterm.mli
Commit message (Expand)AuthorAge
* Moved code for finding subterms (pattern, induction, set, generalize, ...)Gravatar Hugo Herbelin2014-06-28