Comm-st(cSt) ==  fst(cSt)



Definitions :  pi1: fst(t)
FDL editor aliases :  Comm-st

Comm-st(cSt)  ==    fst(cSt)


Date html generated: 2010_08_27-PM-08_46_34
Last ObjectModification: 2010_03_25-PM-03_53_57

Home Index