Add Nonnegative-Integer as a synonym for Natural.

This commit is contained in:
Vincent St-Amour 2011-08-29 15:25:53 -04:00
parent 0e31b37aa4
commit 15aeb099ea

View File

@ -53,7 +53,8 @@
[Integer -Int]
[Nonpositive-Integer -NonPosInt]
[Negative-Integer -NegInt]
[Exact-Nonnegative-Integer -Nat] ; both of these are valid
[Exact-Nonnegative-Integer -Nat] ; all three of these are valid
[Nonnegative-Integer -Nat]
[Natural -Nat]
[Exact-Positive-Integer -PosInt] ; both of these are valid
[Positive-Integer -PosInt]