Delete lab2defs.odt