(12steps total)
PrintForm
Definitions
mb
event
system
1
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
mu
wf
2
1.
b
:
,
f
:(
). (
n
:
.
n
b
&
f
(
n
))
mu(
f
)
f
:(
). (
n
:
.
f
(
n
))
mu(
f
)
By:
RepeatFor 2 (Analyze 0) THEN ExRepD
Generated subgoal:
1
2.
f
:
3.
n
:
4.
f
(
n
)
mu(
f
)
2
steps
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(12steps total)
PrintForm
Definitions
mb
event
system
1
Sections
EventSystems
Doc
b:
, f:(
). (
n:. n
b & f(n)) 
mu(f) 
f:(). (n:. f(n)) mu(f) b:, f:(). (n:. nb & f(n)) mu(f)
f:(). (n:. f(n)) mu(f)
mu(f) 
