On 11/09/2012 12:26 AM, Christian Sternagel wrote:
As far as I can tell the problem still remains. Is it known in the meantime what the problem is?Just follow the "Browse theories" link of any devel entry, e.g., http://afp.sourceforge.net/browser_info/devel/HOL/Bondy/index.html
cheers chris _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
