---

last-solution(es;P;d) ==
  e.case TERMOF{last-event:o, 1:l, i:l} es e d
     of inl(x) =>
      inr  
      | inr(p) =>
      inl (fst(p)) 

---

Definitions occuring in Statement :  it: ,  pi1: fst(t),  apply: f a,  lambda: x.A[x],  decide: case b of inl(x) => s[x] | inr(y) => t[y],  inr: inr x ,  inl: inl x 
Definitions :  lambda: x.A[x],  decide: case b of inl(x) => s[x] | inr(y) => t[y],  apply: f a,  last-event,  inr: inr x ,  it: ,  inl: inl x ,  pi1: fst(t)
FDL editor aliases :  last-solution

---

last-solution(es;P;d)  ==
    \mlambda{}e.case  TERMOF\{last-event:o,  1:l,  i:l\}  es  e  d  of  inl(x)  =>  inr  \mcdot{}    |  inr(p)  =>  inl  (fst(p)) 


Date html generated: 2011_08_16-AM-10_51_50
Last ObjectModification: 2010_11_10-PM-07_18_57

Home Index