The district of Kotli used to be a sub-division of Mirpur District until 1975 . The area now comprising district Kotli was a subdivision of Mirpur District up to the year 1975 and was known as Kotli Mangralan .