Renamed mat.sml to matrix.sml