Changes between Version 76 and Version 77 of TypeFunctionsSolving


Ignore:
Timestamp:
Sep 5, 2008 2:43:02 AM (7 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----