src/HOL/ex/Tree23.thy
2011-04-23 wenzelm 2011-04-23 modernized specifications;
2009-11-04 nipkow 2009-11-04 New