Tobias Nipkow Sun, 20 Jul 2008 20:19:01 +0200
Via http://www.nongnu.org/isarmathlib/ I found this link http://www.ams.org/notices/200807/tx080700773p.pdf
Indeed. Tobias