src/HOL/ex/Guess.thy
2006-07-04 wenzelm 2006-07-04 Proof by guessing.