Delete knormal.ml