(43steps total) PrintForm Definitions Lemmas mb event system 3 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: better-w-match-exists 1 1 1

1. the_w : World
2. e1 : Id
3. e2 : 
4. isnull(a(e1;e2))
5. isrcv(kind(a(e1;e2)))
6. isnull(a(e1;e2))
7. isrcv(kind(a(e1;e2)))
  lnk(kind(a(e1;e2))) = lnk(kind(a(e1;e2)))


By: RW assert_pushdownC 0


Generated subgoals:

None

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

(43steps total) PrintForm Definitions Lemmas mb event system 3 Sections EventSystems Doc