Nuprl Definition : pv11_p1_preempted'base
pv11_p1_preempted'base(Cmd;mf) == Base(``pv11_p1 preempted``)
Definitions occuring in Statement :
base-headers-msg-val: Base(hdr),
cons: [a / b],
nil: [],
token: "$token"
FDL editor aliases :
pv11_p1_preempted'base
Latex:
pv11\_p1\_preempted'base(Cmd;mf) == Base(``pv11\_p1 preempted``)
Date html generated:
2015_07_23-PM-04_12_13
Last ObjectModification:
2014_11_26-AM-11_24_06
Home
Index