semantics of isolate

Can someone help clarify SMLofNJ.Cont.isolate for me? IIUC, the 
semantics of isolate is something along the lines of:

     v ::= ... | cont(E') (* captured continuation *)

     E[isolate \x.e] ---> E[cont(E')]
         where E' = e[x := []]

and the semantics of throw is roughly:

     E[throw cont(E') v] ---> E'[v]

So effectively, `throw (isolate \().e) ()' should be equivalent to 
`abort e', where

     E[abort e] ---> e

Yes?

Thanks,
Dave

-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV