---

{ x,y:Name.  Dec(x = y) }

{ Proof }

---

Definitions occuring in Statement :  name: Name,  decidable: Dec(P),  all: x:A. B[x],  equal: s = t
Lemmas :  decidable__assert,  decidable_wf,  assert_wf,  name_eq_wf,  assert-name_eq,  name_wf,  uiff_wf,  iff_weakening_uiff,  decidable_functionality,  not_wf

---

\mforall{}x,y:Name.    Dec(x  =  y)


Date html generated: 2011_08_10-AM-07_42_18
Last ObjectModification: 2011_07_20-PM-08_20_17

Home Index