---

Step * of Lemma rsc4_headers_wf

rsc4_headers()  Name List
BY
{ Try (Unfold `vatype` 0) THEN ProveWfLemma'' }

---

rsc4\_headers()  \mmember{}  Name  List


By

---

Try  (Unfold  `vatype`  0)  THEN  ProveWfLemma''



Home Index