Nuprl Definition : run-lt
run-lt(r) == run-pred(r)+
Definitions occuring in Statement :
run-pred: run-pred(r),
runEvents: runEvents(r),
rel_plus: R+
FDL editor aliases :
run-lt
Latex:
run-lt(r) == run-pred(r)\msupplus{}
Date html generated:
2015_07_23-AM-11_15_18
Last ObjectModification:
2012_02_25-PM-03_43_08
Home
Index