Nuprl Definition : OARcast_oarcast'base-program

OARcast_oarcast'base-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf) == base-class-program(oarcasthdr)

Definitions occuring in Statement : base-class-program: base-class-program(hdr)
FDL editor aliases : OARcast_oarcast'base-program

Latex:
OARcast\_oarcast'base-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf) == base-class-program(oarcasthdr) Date html generated: 2015_07_23-PM-00_29_06 Last ObjectModification: 2014_08_20-AM-11_59_51 Home Index