Sorry, correct version enclosed now. Danke, Sascha.
Tobias -------------- next part -------------- A non-text attachment was scrubbed... Name: document.pdf Type: application/octetstream Size: 115710 bytes Desc: not available URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20090310/664ae929/attachment-0001.bin>
