# HG changeset patch
# User wenzelm
# Date 1709201530 -3600
# Node ID 1cbae8af034cc80ab2a20e8153b4570323ef2f7f
# Parent  3648e9c88d0cdfd8df96a246242539820dc295d2
NEWS for a53287d9add3, 3e30ca77ccfe;

diff -r 3648e9c88d0c -r 1cbae8af034c NEWS
--- a/NEWS	Wed Feb 28 17:25:54 2024 +0100
+++ b/NEWS	Thu Feb 29 11:12:10 2024 +0100
@@ -15,6 +15,9 @@
 
 *** HOL ***
 
+* Commands 'inductive_cases', 'inductive_simps', 'case_of_simps',
+'simps_of_case' now print results like 'theorem'.
+
 * Sledgehammer
   - Update of bundled prover:
     + Vampire 4.8 HO - Sledgehammer schedules (2023-10-19)