| Author: | slava |
|---|---|
| Mode: | text |
| Date: | Fri, 29 Jan 2010 16:51:41 |
Evaluating "tri-curry@ tri-curry* tri-curry", using term rewriting: x y1 y2 y3 z1 z2 z3 [ F ] tri-curry@ tri-curry* tri-curry => x y1 y2 y3 [ z1 F ] [ z2 F ] [ z3 F ] tri-curry* tri-curry => x [ y1 z1 F ] [ y2 z2 F ] [ y3 z3 F ] tri-curry => [ x y1 z1 F ] [ x y2 z2 F ] [ x y3 z3 F ]