Google provides this mirror of the isabelle-users mailing list: http://groups.google.com/group/fa.isabelle/about Does anybody understand how this works? Google says "This is a Usenet group". Also interesting: the rough statistics about traffic since 2000. Makarius