aboutsummaryrefslogtreecommitdiff
path: root/coq/ex/test-cases/retract-completely-asserted/b.v
AgeCommit message (Expand)Author
2011-01-14- move proof-no-fully-processed-buffer to generic/proof-configHendrik Tews
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:00:50 +0000