remove now-empty miniML.lem