---

Step * of Lemma hdf-parallel-halt

hdf-halt() || hdf-halt() ~ hdf-halt()
BY
{ (RepUR ``hdf-parallel`` 0 THEN RecUnfold `mk-hdf` 0 THEN Reduce 0 THEN Auto) }

---

Latex:


hdf-halt()  ||  hdf-halt()  \msim{}  hdf-halt()


By

(RepUR  ``hdf-parallel``  0  THEN  RecUnfold  `mk-hdf`  0  THEN  Reduce  0  THEN  Auto)

---

Home Index