assuming(env,r.A[env; r])
S |= es.B[es] ==
assuming(env,r.A[env; r])
S |= es.B[es]
Definitions :
system-strongly-realizes: system-strongly-realizes,
product: x:A 
B[x],
name: Name,
mData: mData
FDL editor aliases :
strong-realizes
assuming(env,r.A[env; r]) S |= es.B[es] == assuming(env,r.A[env; r]) S |= es.B[es]
Date html generated:
2010_08_27-PM-08_04_34
Last ObjectModification:
2010_06_09-PM-06_36_15
Home
Index