WhoCites
Definitions
LogicSupplement
Sections
DiscrMathExt
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites pure
let2?
pure_let2
Def let
x
a
,
y
b
in
c
(
x
;
y
) ==
c
(
a
;
b
)
Syntax:
let
x
a
,
y
b
in
c
(
x
;
y
)
has structure:
pure_let2(
x
,
y
.
c
(
x
;
y
);
a
;
b
)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
LogicSupplement
Sections
DiscrMathExt
Doc
a, yb in c(x;y) == c(a;b)a, yb in c(x;y) == c(a;b)a, yb in c(x;y)