aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Numbers/Natural/Axioms/NMiscFunct.v
Commit message (Expand)AuthorAge
* Added the directory theories/Numbers where axiomatizations and implementation...Gravatar emakarov2007-06-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-30 12:05:03 +0000