PrintForm Definitions Lemmas NuprlPrimitives Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc polymorph example1
  A:Type, f:(( mod 2)A). f  A
By: Inst: Thm* k:.   ( mod k) Using:[2]

Generated subgoals:

None

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

PrintForm Definitions Lemmas NuprlPrimitives Sections NuprlLIB Doc