Nuprl Definition : nysiad_kdeliver'base-program
nysiad_kdeliver'base-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf) ==
  base-class-program(kdeliverhdr)
Definitions occuring in Statement : 
base-class-program: base-class-program(hdr)
FDL editor aliases : 
nysiad_kdeliver'base-program
Latex:
nysiad\_kdeliver'base-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;...;...;mf)  ==
    base-class-program(kdeliverhdr)
Date html generated:
2016_05_17-PM-01_22_54
Last ObjectModification:
2014_08_06-PM-03_29_10
Theory : event-logic-applications
Home
Index