[isabelle-dev] the function "real"

[Lars Noschinski]

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.