Definitions
num
thy
1
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Some definitions of interest.
assoced
Def
a
~
b
==
a
|
b
&
b
|
a
Thm*
a
,
b
:
. (
a
~
b
)
Prop
le
Def
A
B
==
B
<
A
Thm*
i
,
j
:
. (
i
j
)
Prop
le_int
Def
i
j
==
j
<
i
Thm*
i
,
j
:
. (
i
j
)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Definitions
num
thy
1
Sections
StandardLIB
Doc