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