| changeset 82598 | 766a07ff7a07 |
| parent 82571 | 9720ebc51bcb |
| child 82608 | 6e3e59ac12c9 |
--- a/NEWS Sun May 04 12:18:27 2025 +0100 +++ b/NEWS Sun May 04 15:05:51 2025 +0200 @@ -59,6 +59,12 @@ not available as SVG. +*** Pure *** + +* Command 'thy_deps' expects optional theory arguments as long theory names, +the same way as the 'imports' clause. Minor INCOMPATIBILITY. + + *** HOL *** * Normalization by evaluation (method "normalization", command value) could