author | wenzelm |
Thu, 16 Oct 2008 23:47:01 +0200 | |
changeset 28631 | 2dbbf5ea5689 |
parent 28630 | 3a4ed60b6b7e |
child 28632 | f0725a881005 |
--- a/NEWS Thu Oct 16 23:21:23 2008 +0200 +++ b/NEWS Thu Oct 16 23:47:01 2008 +0200 @@ -57,8 +57,8 @@ lemma assumes "SORT_CONSTRAINT('a::empty)" shows False ... The result contains an implicit sort hypotheses as before -- -SORT_CONSTRAINT premises are is eliminated as part of the canonical -rule normalization. +SORT_CONSTRAINT premises are eliminated as part of the canonical rule +normalization. * Changed defaults for unify configuration options: