src/Pure/General/balanced_tree.ML
2007-06-19 wenzelm 2007-06-19 Balanced binary trees (material from library.ML);