aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics/tacticMatching.mli
Commit message (Expand)AuthorAge
* Implementation of Ltac's match and match goal fully based on IStream.Gravatar aspiwack2013-11-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 11:43:37 +0000