Delete intro.mli