Def d-feasible(D)
Def == (i:Id. Feasible(M(i)))
Def == & (l:IdLnk, tg:Id.
Def == & (M(source(l)).dout(l,tg) r M(destination(l)).din(l,tg))
Def == & (i:Id. 
Def == & (finite-type({l:IdLnk
Def == & (finite-type({| destination(l) = i & M(source(l)) sends on link l }))

is mentioned

In prior sections: mb event system 6 mb event system 7

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html