le 0 y true le s x 0 false le s x s y le x y eq 0 0 true eq 0 s y false eq s x 0 false eq s x s y eq x y if1 true x y xs min x xs if1 false x y xs min y xs if2 true x y xs xs if2 false x y xs cons y del x xs minsort nil nil minsort cons x y cons min x y minsort del min x y cons x y min x nil x min x cons y z if1 le x y x y z del x nil nil del x cons y z if2 eq x y x y z le 2 0 0 true 0 s 1 false 0 eq 2 if1 4 min 2 if2 4 cons 2 del 2 minsort 1 nil 0 FULL ./TRS/aprove08/parting03_minsort.trs