Nuprl Definition : mu_ex_v4_PrState
mu_ex_v4_PrState(initial_token) == Prior(mu_ex_v4_State(initial_token))?mu_ex_v4_initState(initial_token)
Definitions occuring in Statement :
mu_ex_v4_State: mu_ex_v4_State(initial_token),
mu_ex_v4_initState: mu_ex_v4_initState(initial_token),
primed-class-opt: Prior(X)?b
FDL editor aliases :
mu_ex_v4_PrState
mu\_ex\_v4\_PrState(initial$_{token}$) ==
Prior(mu\_ex\_v4\_State(initial$_{token}$))?mu\_ex\_v4\_initState(initial$_\mbackslash{}\000Cff7btoken}$)
Date html generated:
2012_02_20-PM-06_31_10
Last ObjectModification:
2012_02_02-PM-02_53_04
Home
Index