Nuprl Definition : typed-base-class

Base(hdr;T) ==  Base(hdr)


Definitions occuring in Statement :  base-headers-msg-val: Base(hdr)
FDL editor aliases :  typed-base-class
Latex:
Base(hdr;T)  ==    Base(hdr)


Date html generated: 2015_07_21-PM-04_50_36
Last ObjectModification: 2013_02_27-PM-02_46_25

Home Index