aboutsummaryrefslogtreecommitdiff
path: root/test-suite/success/MatchFail.v
AgeCommit message (Expand)Author
2002-06-07I added a comment on the tactic compute_POS.bertot
2002-06-07This example does not work in coq-7.3, but does in coq-7.2.bertot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-17 15:16:29 +0000