(15steps total)
Remark
PrintForm
Definitions
Lemmas
NuprlPrimitives
Sections
NuprlLIB
Search
Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
kleene
minimize
wf
mu
{
f
:(
)|
x
:
.
f
(
x
) }
By:
n
:
,
f
:(
).
f
(
n
)
mu(
f
)
Asserted
Generated subgoals:
1
n
:
,
f
:(
).
f
(
n
)
mu(
f
)
10
steps
2
1.
n
:
,
f
:(
).
f
(
n
)
mu(
f
)
mu
{
f
:(
)|
x
:
.
f
(
x
) }
4
steps
About:
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
(15steps total)
Remark
PrintForm
Definitions
Lemmas
NuprlPrimitives
Sections
NuprlLIB
Search
Doc
mu 
{f:(
)| 
x:
n:
mu(f) 
