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:
2015_07_21-PM-04_50_45
Last ObjectModification:
2013_02_27-PM-02_39_57
Home
Index