log src/core_untangle.sml

age author description
2009-10-25 Adam Chlipala RPC uses VM support for call/cc
2009-09-17 Adam Chlipala Basic tail recursion introduction seems to be working