Changes between Version 14 and Version 15 of IntermediateTypes

Show
Ignore:
Timestamp:
08/04/06 07:32:14 (7 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IntermediateTypes

    v14 v15  
    208208 * Typechecking 
    209209 
    210   * Environments and substitution 
     210 * Environments and substitution 
    211211 
    212212== Simplification ==