Theory PO_Normalizer

theory PO_Normalizer
imports Automatic_Refinement.Refine_Lib
begin
  ML_file "PO_Normalizer.ML"
end