Royal Mint - Background Carlisle

Did you know there was a Royal Mint in Carlisle in the 12th Century?