IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
| Who Cites int upper? |
|
int_upper | Def {i...} == {j:| ij } |
| | Thm* n:. {n...} Type |
|
le | Def AB == B<A |
| | Thm* i,j:. (ij) Prop |
|
not | Def A == A False |
| | Thm* A:Prop. (A) Prop |
Syntax: | | {i...} | | has structure: | | | int_upper(i) |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html