Nuprl Definition : pv11_p1_ScoutStateFun
pv11_p1_ScoutStateFun(Cmd;accpts;mf;x;es;e) == pv11_p1_ScoutState(Cmd;accpts;mf) x(e)
Definitions occuring in Statement :
pv11_p1_ScoutState: pv11_p1_ScoutState(Cmd;accpts;mf),
classfun: X(e),
apply: f a
FDL editor aliases :
pv11_p1_ScoutStateFun
Latex:
pv11\_p1\_ScoutStateFun(Cmd;accpts;mf;x;es;e) == pv11\_p1\_ScoutState(Cmd;accpts;mf) x(e)
Date html generated:
2015_07_23-PM-04_32_25
Last ObjectModification:
2014_11_26-AM-11_28_00
Home
Index