Changes between Version 4 and Version 5 of TypeNats/Interact1


Ignore:
Timestamp:
Dec 15, 2010 6:09:14 PM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact1

    v4 v5  
    1919Top-level interactions for +.
    2020{{{
    21 (m + n ~ k) <=> {m + n} == k
     21(m + n ~ k) <=> {m + n == k}
    2222(m + a ~ n) <=> a ~ {n - m}    -- n >= m
    2323(a + m ~ n) <=> a ~ {n - m}    -- n >= m
     
    3232Top-level interactions for *.
    3333{{{
    34 (m * n ~ k) <=> {m * n} == k
     34(m * n ~ k) <=> {m * n == k}
    3535(m * a ~ n) <=> a ~ {n / m}     -- m `divides` n
    3636(a * m ~ n) <=> a ~ {n / m}     -- m `divides` n