Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS for a53287d9add3, 3e30ca77ccfe;
authorwenzelm
Thu, 29 Feb 2024 11:12:10 +0100
changeset 79744 1cbae8af034c
parent 79743 3648e9c88d0c
child 79745 779cfa2573da
NEWS for a53287d9add3, 3e30ca77ccfe;
NEWS file | annotate | diff | comparison | revisions 
--- 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)
isabelle