PROOF STRATEGIES - History of Changes