Nuprl Definition : pv11_p1_AcceptorStateFun
pv11_p1_AcceptorStateFun(Cmd;ldrs_uid;mf;es;e) == pv11_p1_AcceptorState(Cmd;ldrs_uid;mf)(e)
Definitions occuring in Statement :
pv11_p1_AcceptorState: pv11_p1_AcceptorState(Cmd;ldrs_uid;mf),
classfun: X(e)
FDL editor aliases :
pv11_p1_AcceptorStateFun
Latex:
pv11\_p1\_AcceptorStateFun(Cmd;ldrs$_{uid}$;mf;es;e) == pv11\_p1\_AcceptorState(Cmd\000C;ldrs$_{uid}$;mf)(e)
Date html generated:
2015_07_23-PM-04_12_55
Last ObjectModification:
2014_11_26-AM-11_25_48
Home
Index