Changes between Version 39 and Version 40 of TypeFunctionsSolving


Ignore:
Timestamp:
Aug 7, 2008 7:43:30 AM (7 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{{{