comp-spec(cr)
==
fst(snd(cr))
Definitions
:
pi1:
fst(t)
,
pi2:
snd(t)
FDL editor aliases
:
comp-spec
comp-spec(cr) == fst(snd(cr))
Date html generated: 2010_08_27-PM-08_22_32
Last ObjectModification: 2010_06_24-AM-10_59_15
Home
Index