Changes between Version 11 and Version 12 of IntermediateTypes


Ignore:
Timestamp:
Aug 4, 2006 2:31:15 PM (8 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • IntermediateTypes

    v11 v12  
    208208 * Typechecking 
    209209 
    210     * Environments and substitution 
     210   * Environments and substitution 
    211211 
    212212== Simplification ==