[isabelle-dev] What's in Main

Tobias Nipkow nipkow at in.tum.de
Tue Mar 10 08:17:16 CET 2009


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>


More information about the isabelle-dev mailing list