Basic1 == Id 
Id es:EO+(Info) Thread 
Definitions :
Id: Id,
event-ordering+: EO+(Info),
ses-info: Info,
function: x:A B[x],
ses-thread: Thread,
prop:
FDL editor aliases :
ses-basic-sequence1
Basic1 == Id {}\mrightarrow{} Id {}\mrightarrow{} es:EO+(Info) {}\mrightarrow{} Thread {}\mrightarrow{} \mBbbP{}
Date html generated:
2010_08_28-AM-03_13_29
Last ObjectModification:
2010_02_23-AM-10_37_24
Home
Index