src/HOL/Data_Structures/Tree23.thy
changeset 61640 44c9198f210c
parent 61469 cd82b1023932
child 61679 1335462046e8
equal deleted inserted replaced
61638:7ffc9c4f1f74 61640:44c9198f210c