IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
w-index wf111 1. the_w : World
2. e : E
3. FairFifo
4. isrcv(kind(e))
5. n : time(e)
6. match(lnk(kind(e));n;time(e))
n:. (t.match(lnk(kind(e));t;time(e)))(n)
By:
Reduce 0 THEN InstConcl [n]
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
time(e)
n:
t.match(lnk(kind(e));t;time(e)))(n)
