On Thu, 2011-08-18 at 09:34 +0200, Jasmin Christian Blanchette wrote: > The maintenance load is extremely low. When it comes to the "REFUTE" > exception, I can look at it if and when we decide to move back to > sets.
I suspect that Jasmin will have no trouble fixing this, but otherwise I'd be happy to look into it as well. Kind regards, Tjark _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev