Tag changes on tag bootyfull isabelle

Display only:RemovedAddedAll
ImageTagActionTimestampUser