Def MsgAForm
Def == x:Id fp-> Topx:Knd fp-> Typex:Id fp-> Topx:Id fp-> Top
Def == x:KndId fp-> Topx:KndIdLnk fp-> Topx:Id fp-> Topx:IdLnkId fp-> Top
Def == Top

is mentioned

In prior sections: mb event system 6

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