src/HOL/ex/Guess.thy
2011-01-07 bulwahn 2011-01-07 removing obselete Id comments from HOL/ex theories
2006-07-04 wenzelm 2006-07-04 Proof by guessing.