aboutsummaryrefslogtreecommitdiff
path: root/test-suite/ltac2/example2.v
AgeCommit message (Expand)Author
2020-03-03Ltac2: Add notation for enough and eenoughMichael Soegtrop
2019-05-07Integrate build and documentation of Ltac2Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 06:15:46 +0000