On 11.11.2015 22:09, Johannes Hölzl wrote: > It looks like the setup for blast changed, in the following entries is a > non-terminating blast call. They do not seam to be related to the change > at all: > > Graph_Theory
I replaced this 'by safe meson+' now. I am a bit surprised that this proof broke, it is just basic set theory and first order logic. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
