| changeset 71987 | ec17263ec38d |
| parent 71986 | 76193dd4aec8 |
| child 71989 | bad75618fb82 |
--- a/NEWS Wed Jul 01 17:32:11 2020 +0000 +++ b/NEWS Thu Jul 02 08:49:03 2020 +0000 @@ -74,6 +74,9 @@ "bintrunc" and "max_word" are now mere input abbreviations. Minor INCOMPATIBILITY. +* Session HOL-Word: Theory Z2 is not used any longer. +Minor INCOMPATIBILITY. + * Rewrite rule subst_all performs more aggressive substitution with variables from assumptions. INCOMPATIBILITY, use something like