Changes between Version 63 and Version 64 of TypeFunctionsSolving


Ignore:
Timestamp:
Aug 20, 2008 9:33:10 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v63 v64  
    8888    (t', eqt)   = flatten t
    8989norm [[co :: t ~ F s1..sn]] = norm [[co' :: F s1..sn ~ t]] with co = sym co'
    90 norm [[co :: s ~ t]] = check [[co :: s' ~ t']] : eqs++eqt
     90norm [[co :: s ~ t]] = check [[co :: s' ~ t']] ++ eqs ++ eqt
    9191  where
    9292    (s', eqs) = flatten s