Talk:Proof: Difference between revisions
Content added Content deleted
(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: | Line 1: | ||
== pre- |
== subtype pre-definitions == |
||
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) |
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) |