Honest(A) == 
((fst(snd(snd(snd(snd(snd(snd(snd(snd(s)))))))))) A)
Definitions :
assert: b,
apply: f a,
pi1: fst(t),
pi2: snd(t)
FDL editor aliases :
ses-honest
Honest(A) == \muparrow{}((fst(snd(snd(snd(snd(snd(snd(snd(snd(s)))))))))) A)
Date html generated:
2010_08_28-AM-02_05_10
Last ObjectModification:
2010_02_22-PM-01_51_04
Home
Index