aboutsummaryrefslogtreecommitdiff
path: root/theories/Logic/Decidable.v
AgeCommit message (Expand)Author
2001-04-19Mise de (*i autour CVS infomohring
2001-04-08Ajout lemmes arithmetiquesmohring
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-12 00:57:21 +0000