src/HOL/Induct/Infinitely_Branching_Tree.thy
changeset 66787 64b47495676d
parent 65562 f9753d949afc