Nuprl Definition : run-event-local-pred
run-event-local-pred(r;e) == if null(run-event-history(r;e)) then inr ⋅ else inl last(run-event-history(r;e)) fi
Definitions occuring in Statement :
run-event-history: run-event-history(r;e),
last: last(L),
null: null(as),
ifthenelse: if b then t else f fi ,
it: ⋅,
inr: inr x ,
inl: inl x
FDL editor aliases :
run-event-local-pred
Latex:
run-event-local-pred(r;e) ==
if null(run-event-history(r;e)) then inr \mcdot{} else inl last(run-event-history(r;e)) fi
Date html generated:
2015_07_23-AM-11_11_35
Last ObjectModification:
2012_02_25-PM-03_41_57
Home
Index