Nuprl Definition : pv11_p1_LeaderStateFun
pv11_p1_LeaderStateFun(Cmd;ldrs_uid;mf;es;e) == pv11_p1_LeaderState(Cmd;ldrs_uid;mf)(e)
Definitions occuring in Statement :
pv11_p1_LeaderState: pv11_p1_LeaderState(Cmd;ldrs_uid;mf),
classfun: X(e)
FDL editor aliases :
pv11_p1_LeaderStateFun
Latex:
pv11\_p1\_LeaderStateFun(Cmd;ldrs$_{uid}$;mf;es;e) == pv11\_p1\_LeaderState(Cmd;ldr\000Cs$_{uid}$;mf)(e)
Date html generated:
2015_07_23-PM-04_33_09
Last ObjectModification:
2014_11_26-AM-11_29_45
Home
Index