run-initialization(r;G) == 
x
G.e:runEvents(r). ((fst(fst(x))) < 1)
Definitions :
lg-all: xG.P[x],
all: x:A. B[x],
runEvents: runEvents(r),
less_than: a < b,
pi1: fst(t),
natural_number: $n
FDL editor aliases :
run-initialization
run-initialization(r;G) == \mforall{}x\mmember{}G.\mforall{}e:runEvents(r). ((fst(fst(x))) < 1)
Date html generated:
2010_08_27-PM-06_42_14
Last ObjectModification:
2010_05_29-PM-12_29_05
Home
Index