---

Step * 1 of Lemma atom-test1


     (Unhideable token semantics in effect)

if 'xxx'1=1 'yyy'1 then tt else ff = ff
BY
{ Reduce 0 THEN Auto }

---

Latex:

---

Latex:

          (Unhideable  token  semantics  in  effect)

if  'xxx'1=1  'yyy'1  then  tt  else  ff  =  ff


By

---

Latex:
Reduce  0  THEN  Auto

---

Home Index