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: 2016_05_17-AM-08_53_56
Last ObjectModification: 2013_02_27-PM-02_46_25

Theory : messages


Home Index