src/Doc/Tutorial/Misc/Tree.thy
2014-11-01 wenzelm 2014-11-01 eliminated spurious semicolons;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;