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
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-03 19:06:04 +0000