[isabelle-dev] What's in Main

Tobias Nipkow nipkow at in.tum.de
Tue Mar 10 09:04:31 CET 2009

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.


More information about the isabelle-dev mailing list