aboutsummaryrefslogtreecommitdiff
path: root/theories/Init/Prelude.v
AgeCommit message (Expand)Author
2002-01-09MAJ des Id pour coqwebherbelin
2001-03-15entetesfilliatr
1999-12-13fichiers prelude Coqfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 01:06:07 +0000