Changes between Version 76 and Version 77 of TypeFunctionsSolving


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