pas(thr) == (||thr|| = ||pas||) 
(
i:
||pas||. pas[i](thr[i]))
Definitions :
and: P Q,
equal: s = t,
int: 
,
all: x:A. B[x],
int_seg: {i..j
},
natural_number: $n,
length: ||as||,
ses-is-protocol-action: pa(e),
select: l[i]
FDL editor aliases :
is-p-acts
pas(thr) == (||thr|| = ||pas||) \mwedge{} (\mforall{}i:\mBbbN{}||pas||. pas[i](thr[i]))
Date html generated:
2010_08_28-AM-03_13_06
Last ObjectModification:
2010_02_23-AM-10_30_18
Home
Index