copilot-theorem: Document changes in CHANGELOG. Refs #452.

Author: fdedden

copilot-theorem/CHANGELOG

@@ -1,5 +1,6 @@
-2024-05-05
+2024-05-07
         * Fix handling of unsatisfiable properties with Kind2. (#495)
+        * Remove outdated details from README. (#452)
 
 2024-03-07
         * Version bump (3.19). (#504)