---

{ sc-Learn()  Expression }

{ Proof }

---

Definitions occuring in Statement :  sc-Learn: sc-Learn(),  expression: Expression,  member: t  T
Definitions :  sc-Learn: sc-Learn(),  expapply: fun(arg),  exppair: fst,snd,  expbase: val,  all: x:A. B[x],  function: x:A  B[x],  equal: s = t,  member: t  T,  token: "$token"
Lemmas :  expbase_wf,  exppair_wf,  expapply_wf

---

sc-Learn()  \mmember{}  Expression


Date html generated: 2010_08_27-PM-08_31_45
Last ObjectModification: 2010_06_24-AM-12_58_12

Home Index