Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2003-12-03 11:25:39 -0800 (Wed, 03 Dec 2003)
Revision: 5143
Log message:
Added associative and commutative resources.
They are in experemental state right now and used only in KAT.
Added a conversial
subAssocC : int -> int -> conv -> conv
subAssocC first length conv
being apply to a_0 * a_1 * ... * a_n
(where * is an associative operator)
applies conv to a_first * ... * a_(first+lengt-1)