Changes between Version 10 and Version 11 of TypeNats/InductiveDefinitions


Ignore:
Timestamp:
Mar 21, 2012 3:57:13 PM (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/InductiveDefinitions

    v10 v11  
    2525 
    2626The other view provides a more "bit-oriented" view of 
    27 the natural numbers, by allowing is to check if the least 
     27the natural numbers, by allowing us to check if the least 
    2828significant bit of a number is 0 or 1.  It is useful 
    2929when we use {{{TNat}}} values for splitting things