WhoCites Definitions mb basic Sections MarkB generic Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites prop?
propDef Prop == Type

Syntax:Prop has structure: prop{i:l}

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

WhoCites Definitions mb basic Sections MarkB generic Doc