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: 2016_05_17-PM-00_59_15 Last ObjectModification: 2014_08_20-AM-11_59_51 Theory : event-logic-applications Home Index