Hi: Are there 'official' statistics on how MML covers various areas of mathematics? I have done something like this long time ago (1996) but I wonder whether there is anything newer. -- Piotr Rudnicki CompSci, University of Alberta, Edmonton, Canada http://web.cs.ualberta.ca/~piotr