It is named after Abu l-Hasan Ali , or Muley HacÃ n as he is known in Spanish , the last-but-one Muslim King of Granada in the 15th century , who according to legend was buried on the summit of the mountain . It is named after Abu l-Hasan Ali , or Muley HacÃ n as he is known in Spanish , the penultimate Muslim King of Granada in the 15th century , who according to legend was buried on the summit of the mountain .