(* Author: Tobias Nipkow *) (* Todo: minimal ipl of almost complete trees *) section ‹Binary Tree› theory Tree imports Main begin