IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
w-action-dec wf i:Id, TA:(IdIdType), M:(IdLnkIdType).
w-action-dec(TA;M;i) KndType
By:
Assert (Void Type) THEN Unfold `w-action-dec` 0
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
i:Id, TA:(Id
Id
w-action-dec(TA;M;i) 
Knd
