---

Step * of Lemma rsc4_headers_no_inputs_wf

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

---

rsc4\_headers\_no\_inputs()  \mmember{}  Name  List


By

---

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



Home Index