On 1/23/08, Richard Donovan <[EMAIL PROTECTED]> wrote: > Is there a section in one of the documents instructing about this sort of > chain?
http://www.jsoftware.com/help/dictionary/intro05.htm Recapping some steps of this equivalence: x (N V1 V2) y x (N"_ V1 V2) y (x N"_ y) V1 (x V2 y) N V1 (x V2 y) -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
