Thread == {thr:Act List| 
i:
||thr|| - 1. (thr[i] <loc thr[i + 1])}
Definitions :
set: {x:A| B[x]} ,
list: type List,
ses-act: Act,
all: x:A. B[x],
int_seg: {i..j
},
subtract: n - m,
length: ||as||,
es-locl: (e <loc e'),
select: l[i],
add: n + m,
natural_number: $n
FDL editor aliases :
ses-thread
Thread == \{thr:Act List| \mforall{}i:\mBbbN{}||thr|| - 1. (thr[i] <loc thr[i + 1])\}
Date html generated:
2010_08_28-AM-02_39_52
Last ObjectModification:
2010_02_22-PM-10_58_25
Home
Index