changeset 76057 | e07d873c18a4 |
parent 76056 | c2fd8b88d262 |
parent 76043 | b80f33e5323f |
child 76093 | ce66ff654e59 |
--- a/NEWS Fri Sep 02 13:41:55 2022 +0200 +++ b/NEWS Wed Sep 07 08:58:27 2022 +0200 @@ -66,6 +66,10 @@ *** HOL *** +* HOL record: new simproc that sorts update expressions, guarded by +configuration option "record_sort_updates" (default: false). Some +examples are in theory "HOL-Examples.Records". + * HOL-Algebra: Facts renamed to avoid fact name clashes on interpretation: is_ring ~> ring_axioms