WhoCites Definitions mb event system 2 Sections EventSystems Search Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites sum-deq-aux?
sum-deq-auxDef sum-deq-aux{\\\\v:l,i:l}(A;B;a;b) == ext{sumdeq_DASH_property}{i:l}(A,B,a,b)

Syntax:sum-deq-aux{\\\\v:l,i:l}(A;B;a;b) has structure: sum-deq-aux{\\v:l,i:l}(A; B; a; b)

About:
apply!abstraction
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

WhoCites Definitions mb event system 2 Sections EventSystems Search Doc