[isabelle-dev] quickcheck on type real

[Tobias Nipkow]

> *** DIVZERO
> *** At command "quickcheck".

I also ran into this one (and notified Stefan).

> lemma "inverse (a::real) = (1 / a)"
> 
> Counterexample found:
> a = -1

I love it, a false counterexample to a false thm ;-)

Thanks!
Tobias