Changes between Version 4 and Version 5 of TypeNats/Axioms


Ignore:
Timestamp:
Dec 22, 2010 3:38:54 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Axioms

    v4 v5  
    2020leqRefl:     t <= t 
    2121leqTrans:    (r <= s, s <= t) => r <= t 
     22leqAntiSym:  (s <= t, t <= s) => s ~ t 
    2223}}} 
    2324