✐‹creator "Kevin Kappelmann"› section ‹Lists› theory Zippy_Lists_Base imports ML_Zipper_Instances Zippy_Enums Zippy_Nodes begin ML_file‹zippy_lists_base.ML› ML_file‹zippy_lists.ML› end