[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.

Tobias



More information about the isabelle-dev mailing list