runEvents(r) == {tx:
Id| 
is-run-event(r;fst(tx);snd(tx))}
Definitions :
set: {x:A| B[x]} ,
product: x:A B[x],
nat: ,
Id: Id,
assert: b,
is-run-event: is-run-event(r;t;x),
pi1: fst(t),
pi2: snd(t)
FDL editor aliases :
runEvents
runEvents(r) == \{tx:\mBbbN{} \mtimes{} Id| \muparrow{}is-run-event(r;fst(tx);snd(tx))\}
Date html generated:
2010_08_27-PM-06_15_17
Last ObjectModification:
2010_04_28-PM-12_44_32
Home
Index