Delete krivine.sml