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