Changes between Version 21 and Version 22 of TypeFunctionsSolving


Ignore:
Timestamp:
Jul 30, 2008 4:34:41 PM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v21 v22  
    116116}}} 
    117117 
    118 Derivation with rules in the new-single report: 
     118Derivation with rules in the new-single report:  '''SLPJ''': urk!  That is, `new-single` goes into a loop on this??  Martin? 
    119119{{{ 
    120120[F v] ~ v  ||-  [F v] ~ v