✐‹creator "Kevin Kappelmann"› section ‹Nodes› theory Zippy_Nodes imports ML_Alternating_Zipper_Nodes Zippy_Base begin ML_file‹zippy_node_base.ML› ML_file‹zippy_node.ML› end