src/HOL/ex/Guess.thy
2014-11-22 wenzelm 2014-11-22 misc tuning and modernization;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
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.