Changes between Version 76 and Version 77 of TypeFunctionsSolving

Show
Ignore:
Timestamp:
09/04/08 19:43:02 (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsSolving

    v76 v77  
    240240  gamma1 :: alpha ~ [beta], id :: G a ~ beta   -- , gamma2 :: F a ~ beta 
    241241}}} 
     242 
    242243 
    243244----