Changes between Version 6 and Version 7 of TypeNats/Axioms


Ignore:
Timestamp:
Dec 23, 2010 11:52:38 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Axioms

    v6 v7  
    4343Exponentiation: 
    4444{{{ 
    45 expDef:      m ^ n ~ k    -- {m ^ n == k} 
     45expDef:      m ^ n ~ k    -- if "m ^ n == k" 
    4646exp0:        a ^ 0 ~ 1 
    4747exp1:        a ^ 1 ~ a