aboutsummaryrefslogtreecommitdiff
path: root/theories/Program/Utils.v
AgeCommit message (Expand)Author
2007-08-07Move Program tactics into a proper theories/ directory as they are general pu...msozeau
generated by cgit v1.2.3 (git 2.25.1) at 2026-07-10 22:32:53 +0000