Changes between Version 8 and Version 9 of TypeNats

Show
Ignore:
Timestamp:
12/18/10 21:07:41 (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeNats

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