[isabelle-dev] Theory to Local Theory

[munddr at gmail.com]

Hi,

I'm trying to convert a Theory to a Local Theory. I see that  
Local_Theory.exit_global converts a lthy to a thy, but is there a function  
for converting a thy to a lthy?

Thanks
John
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20110509/c26d88c1/attachment.html>