timedState(ds) == x:Id 
ds(x)?Top
Definitions :
Id: Id,
function: x:A B[x],
rationals: ,
fpf-cap: f(x)?z,
id-deq: IdDeq,
top: Top
FDL editor aliases :
ma-tstate
timedState(ds) == x:Id {}\mrightarrow{} \mBbbQ{} {}\mrightarrow{} ds(x)?Top
Date html generated:
2010_08_27-AM-12_03_05
Last ObjectModification:
2008_02_27-PM-09_48_56
Home
Index