WhoCites Definitions LogicSupplement Sections DiscrMathExt Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites allst implicit?
allst_implicitDef  Q(x) ==  x:A st P(x). Q(x)
allstDef   x:A st P(x). Q(x) == x:AP(x Q(x)

Syntax:Q(x) has structure: allst_implicit(Ax.P(x); x.Q(x))

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

WhoCites Definitions LogicSupplement Sections DiscrMathExt Doc