src/HOL/Induct/Tree.ML
1999-07-16 berghofe 1999-07-16 Infinitely branching trees.