doc-src/TutorialI/Misc/Tree2.thy
changeset 39033 e8b68ec3bb9c
parent 27015 f8537d69f514
equal deleted inserted replaced
39016:caad9d509bc4 39033:e8b68ec3bb9c