doc-src/TutorialI/Misc/Tree.thy
changeset 20568 9b7f59c1bdfc
parent 16417 9bc16273c2d4
child 27015 f8537d69f514
equal deleted inserted replaced
20567:93ae490fe02c 20568:9b7f59c1bdfc