Nuprl Definition : run_local_pred
run_local_pred(r;e) == run-local-pred(r;snd(e);fst(e);fst(e))
Definitions occuring in Statement :
run-local-pred: run-local-pred(r;i;t;t')
,
pi1: fst(t)
,
pi2: snd(t)
FDL editor aliases :
run_local_pred
Latex:
run\_local\_pred(r;e) == run-local-pred(r;snd(e);fst(e);fst(e))
Date html generated:
2015_07_23-AM-11_15_02
Last ObjectModification:
2014_02_23-PM-01_40_30
Home
Index