Changes between Version 6 and Version 7 of TypeNats/Operations


Ignore:
Timestamp:
Jan 27, 2011 5:26:36 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Operations

    v6 v7  
    2626 
    2727== Solving Constraints == 
     28 
     29Comparison rules: 
     30{{{ 
     31instance m <= n                          -- for concrete numbers m, n with m <= n 
     32instance a <= a 
     33instance 0 <= a 
     34instance (a <= b, b <= c) => (a <= c)    -- (under construction) 
     35 
     36 
     37}}}