{ CompilationResult 
{i''} }
{ Proof }
Definitions occuring in Statement :
compilation-result: CompilationResult,
member: t T,
universe: Type
Definitions :
member: t T,
apply: f a,
equal: s = t,
function: x:A 
B[x],
all: 
x:A. B[x],
EnvType: EnvType,
RunType: RunType,
reliable-env: reliable-env(env; r),
pRunType: pRunType(T.M[T]),
pEnvType: pEnvType(T.M[T]),
std-l2m: std-l2m(),
std-n2m: std-n2m(),
Message: Message,
event-ordering+: EO+(Info),
lambda: 
x.A[x],
strong-realizes: strong-realizes,
universe: Type,
prop: 
,
so_lambda: 
x.t[x],
so_lambda: x y.t[x; y],
InitSys: InitSys,
set: {x:A| B[x]} ,
product: x:A 
B[x],
isect: 
x:A. B[x],
compilation-result: CompilationResult
Lemmas :
InitSys_wf,
strong-realizes_wf,
Message_wf,
event-ordering+_wf,
std-n2m_wf,
std-l2m_wf,
reliable-env_wf2,
RunType_wf,
EnvType_wf
CompilationResult \mmember{} \mBbbU{}\{i''\}
Date html generated:
2010_08_27-PM-08_22_29
Last ObjectModification:
2010_06_23-AM-11_10_24
Home
Index