Do we have a comprehensive list of cards in the campaign but not the card collection?

Such as Lilliana's Grave Titan or Jace's Traumatize. It'd be interesting to see what cards they've already programed into the game.