Changes between Version 20 and Version 21 of TypeFunctionsSynTC

Show
Ignore:
Timestamp:
12/19/06 15:29:16 (6 years ago)
Author:
sulzmann
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsSynTC

    v20 v21  
    105105 * [wiki:TypeFunctionsSynTC/Second A second attempt] 
    106106 * [wiki:TypeFunctionsSynTC/GHC Type equations in GHC] 
     107 * [wiki:TypeFunctionsSynTC/Plan MS] 
    107108