msg-body(msg) ==  snd(snd(msg))
Definitions occuring in Statement : 
pi2: snd(t)
Definitions : 
pi2: snd(t)
FDL editor aliases : 
msg-body
msg-body(msg)  ==    snd(snd(msg))
Date html generated:
2011_08_17-PM-03_57_56
Last ObjectModification:
2011_05_02-PM-03_33_49
Home
Index