Changes between Version 33 and Version 34 of TypeFunctionsSolving

Show
Ignore:
Timestamp:
08/04/08 08:10:39 (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsSolving

    v33 v34  
    121121'''TODO:''' 
    122122 * Rules applying to family equalities: 
    123   * IdenticalLHS only applies to family equalities (both local and wanteds) 
     123  * IdenticalLHS only applies to family equalities (both local and wanteds) - MAYBE only when at least one of the equalities is a local (see email). 
    124124  * Top only applies to family equalities (both locals and wanteds) 
    125125 We should apply IdenticalLHS first as it cheaper and potentially reduces the number of applications of Top.