Changes between Version 12 and Version 13 of IntermediateTypes


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

--

Legend:

Unmodified
Added
Removed
Modified
  • IntermediateTypes

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