Anonymous user
Talk:Proof: Difference between revisions
m
changed the name of the 1st section header.
(added a section header to the 1<sup>st</sup> discussion topic to properly position the TOC.) |
m (changed the name of the 1st section header.) |
||
Line 1:
== subtype pre-
The subtype Natural is pre-defined for all Ada implementations. Arithmetic upon that subtype is also pre-defined. This does not appear to be a very interesting problem in Ada. Any suggestions? --[[User:Waldorf|Waldorf]] 14:42, 21 December 2007 (MST)
| |||