Changes between Version 9 and Version 10 of TypeNats/InductiveDefinitions


Ignore:
Timestamp:
Mar 21, 2012 1:37:58 AM (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/InductiveDefinitions

    v9 v10  
    44== Checking for Zero (Unary Strucutre of Nat) == 
    55 
    6 The first view provides the same functionality as usual 
     6The first view provides the same functionality as the usual 
    77Peano arithmetic definition of the natural numbers.  It 
    88is useful when using {{{TNat}}} to count something.