doc-src/TutorialI/Misc/Tree2.thy
changeset 33875 e5e7faaed7ad
parent 27015 f8537d69f514