Changes between Version 42 and Version 43 of TypeFunctionsSolving


Ignore:
Timestamp:
Aug 7, 2008 11:09:20 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v42 v43  
    175175}}}
    176176
    177 === ===
     177=== Interaction between local and wanted family equalities ===
    178178
    179179Example 4 of Page 9 of the ICFP'09 paper.