On 11/09/2012 12:26 AM, Christian Sternagel wrote: > Just follow the "Browse theories" link of any devel entry, e.g., > http://afp.sourceforge.net/browser_info/devel/HOL/Bondy/index.html As far as I can tell the problem still remains. Is it known in the meantime what the problem is? cheers chris