Nuprl Definition : base-headers-msg-val-loc
Base(hdr;locs) == Base(hdr)@locs
Definitions occuring in Statement :
base-headers-msg-val: Base(hdr),
class-at: X@locs
FDL editor aliases :
base-headers-msg-val-loc
Latex:
Base(hdr;locs) == Base(hdr)@locs
Date html generated:
2016_05_17-AM-08_54_11
Last ObjectModification:
2013_02_27-PM-02_39_57
Theory : messages
Home
Index