MAYBE 0.08/0.18 MAYBE 0.08/0.18 0.08/0.18 Problem: 0.08/0.18 msort(nil()) -> nil() 0.08/0.18 msort(.(x,y)) -> .(min(x,y),msort(del(min(x,y),.(x,y)))) 0.08/0.18 min(x,nil()) -> x 0.08/0.18 min(x,.(y,z)) -> if(<=(x,y),min(x,z),min(y,z)) 0.08/0.18 del(x,nil()) -> nil() 0.08/0.18 del(x,.(y,z)) -> if(=(x,y),z,.(y,del(x,z))) 0.08/0.18 0.08/0.18 Proof: 0.08/0.18 Open 0.08/0.18 EOF