(4steps total) PrintForm Definitions mb event system 2 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: assert-has-src
  i:Id, k:Knd. has-src(i;k)  isrcv(k) & source(lnk(k)) = i
By: Auto

Generated subgoals:

1 1. i : Id
2. k : Knd
3. has-src(i;k)
  isrcv(k)
1 step
2 1. i : Id
2. k : Knd
3. has-src(i;k)
  source(lnk(k)) = i
1 step
3 1. i : Id
2. k : Knd
3. isrcv(k) & source(lnk(k)) = i
  has-src(i;k)
1 step

About:
assertequalall
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

(4steps total) PrintForm Definitions mb event system 2 Sections EventSystems Doc