Accept == 
tr.(inl (snd(tr)) )[AcceptOrRejectTaggedTrue]
Definitions :
abbr28: AcceptOrRejectTaggedTrue,
pi2: snd(t),
inl: inl x ,
lambda: x.A[x],
es-filter-image: f[X]
FDL editor aliases :
abbr29
Accept == \mlambda{}tr.(inl (snd(tr)) )[AcceptOrRejectTaggedTrue]
Date html generated:
2010_08_28-PM-01_41_37
Last ObjectModification:
2010_08_05-PM-01_15_21
Home
Index