Changes between Version 39 and Version 40 of TypeFunctionsSolving

Show
Ignore:
Timestamp:
08/07/08 00:43:30 (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsSolving

    v39 v40  
    153153== Examples == 
    154154 
    155 === !SubstFun on two wanteds is crucial === 
     155=== Substituting wanted family equalities with !SubstFun is crucial === 
    156156 
    157157{{{