IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
w-eval wf12 1. the_w : World
2. e : E
3. val(act(e)) valtype(loc(e);act(e))
val(e) ~ val(act(e))
By:
Unfold `w-eval` 0
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
valtype(loc(e);act(e))
val(e) ~ val(act(e))
