aboutsummaryrefslogtreecommitdiff
path: root/theories/Logic/FunctionalExtensionality.v
AgeCommit message (Expand)Author
2008-12-16Move FunctionalExtensionality to Logic/ (someone please check that themsozeau
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-06 19:20:01 +0000