Nuprl Definition : verify-class-program

verify-class-program(hdr) ==  λi.hdf-base(v.cond-verify-msg-body(hdr;v))


Definitions occuring in Statement :  cond-verify-msg-body: cond-verify-msg-body(hdr;msg),  lambda: λx.A[x],  hdf-base: hdf-base(m.F[m])
FDL editor aliases :  verify-class-program
Latex:
verify-class-program(hdr)  ==    \mlambda{}i.hdf-base(v.cond-verify-msg-body(hdr;v))


Date html generated: 2015_07_22-PM-00_03_32
Last ObjectModification: 2014_07_25-PM-02_40_41

Home Index