src/HOL/Datatype_Examples/TreeFsetI.thy
changeset 60758 d8d85a8172b5
parent 58889 5b7a9633cfa8
child 63167 0909deb8059b
equal deleted inserted replaced
60757:c09598a97436 60758:d8d85a8172b5