Nuprl Definition : pax-header2type
pax-header2type(Result;hdr) == apply-alist(NameDeq;pax-message-types(Result);hdr)
Proof not projected
Definitions occuring in Statement :
pax-message-types: pax-message-types(Result),
name-deq: NameDeq,
apply-alist: apply-alist(eq;L;x)
Definitions :
apply-alist: apply-alist(eq;L;x),
name-deq: NameDeq,
pax-message-types: pax-message-types(Result)
FDL editor aliases :
pax-header2type
pax-header2type(Result;hdr) == apply-alist(NameDeq;pax-message-types(Result);hdr)
Date html generated:
2011_10_20-PM-11_49_40
Last ObjectModification:
2011_05_12-PM-05_17_19
Home
Index