aboutsummaryrefslogtreecommitdiff
path: root/tactics/abstract.mli
AgeCommit message (Expand)Author
2018-10-30Move abstract out of tactics.mlGaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 15:56:22 +0000