locknd-deq() ==  product-deq(Id;Knd;IdDeq;KindDeq)



Definitions :  product-deq: product-deq(A;B;a;b) Id: Id Knd: Knd id-deq: IdDeq Kind-deq: KindDeq
FDL editor aliases :  locknd-deq

locknd-deq()  ==    product-deq(Id;Knd;IdDeq;KindDeq)


Date html generated: 2010_08_26-PM-11_42_17
Last ObjectModification: 2008_02_27-PM-09_34_58

Home Index