| changeset 30951 | a6e26a248f03 |
| parent 30949 | 37f887b55e7f |
| child 30955 | ef2319d6b6a5 |
--- a/NEWS Fri Apr 17 16:41:30 2009 +0200 +++ b/NEWS Fri Apr 17 16:41:31 2009 +0200 @@ -1,6 +1,12 @@ Isabelle NEWS -- history user-relevant changes ============================================== +*** Pure *** + +* On instantiation of classes, remaining undefined class parameters are +formally declared. INCOMPATIBILITY. + + *** HOL *** * Class semiring_div now requires no_zero_divisors and proof of div_mult_mult1;