✐‹creator "Kevin Kappelmann"› section ‹ML-Unification Tests› theory ML_Unification_Tests imports First_Order_ML_Unification_Tests Higher_Order_ML_Unification_Tests Higher_Order_Pattern_ML_Unification_Tests begin paragraph ‹Summary› text ‹Tests for ML unifiers.› end