Changes between Version 9 and Version 10 of TypeNats


Ignore:
Timestamp:
Dec 19, 2010 5:07:50 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v9 v10  
    1111    * [wiki:TypeNats/Interact1      Top-Level Interactions] 
    1212    * [wiki:TypeNats/Interact2      Simple Inert Interactions] 
    13     * [wiki:TypeNats/LEQ            Solving {{{<=}}} Predicates 
     13    * [wiki:TypeNats/LEQ            Solving {{{<=}}} Predicates] 
    1414     
    1515