---

df-program-in-state(dfp;s) ==  let B,S,s0,F = dfpin <B, S, s, F>  

---

Definitions occuring in Statement :  spreadn: spread4,  pair: <a, b>
Definitions :  spreadn: spread4,  pair: <a, b>
FDL editor aliases :  df-program-in-state

---

df-program-in-state(dfp;s)  ==    let  B,S,s0,F  =  dfpin  <B,  S,  s,  F>   


Date html generated: 2011_08_16-AM-09_35_32
Last ObjectModification: 2011_04_25-PM-08_23_51

Home Index