the_w:World, i:Id, a:Action(i). isnull(a)  

1

1. T : IdIdType 2. TA : IdIdType 3. M : IdLnkIdType 4. i:Id(x:IdT(i,x)) 5. i:Idaction(w-action-dec(TA;M;i)) 6. i:Id({m:Msg(M)| source(mlnk(m)) = i } List) 7. Top 8. i : Id 9. a@0 : action(w-action-dec(TA;M;i))   isl(a@0)

1 step

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