✐‹creator "Kevin Kappelmann"› section ‹Pretty Printing/Shows› theory Zippy_Shows imports ML_Gen_Zippers_Setup SpecCheck.SpecCheck_Show begin ML_file‹zippy_show_mixin_base.ML› end