aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/find_subterm.ml
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-07-06 13:01:36 +0000