Nuprl Definition : OARcast_ordered'verify-program

OARcast_ordered'verify-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf) ==  verify-class-program(orderedhdr)



Definitions occuring in Statement :  verify-class-program: verify-class-program(hdr)
FDL editor aliases :  OARcast_ordered'verify-program

Latex:
OARcast\_ordered'verify-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf)  ==
    verify-class-program(orderedhdr)



Date html generated: 2015_07_23-PM-00_29_43
Last ObjectModification: 2014_08_20-PM-00_00_50

Home Index