[isabelle-dev] What's in Main

[Tobias Nipkow]

Please ignore the attachment to my previous email. I have already sent
the correct one but it is waiting for the list moderator approval
because it exceeds 100kb.

Tobias