changeset 44744 | 8a2f339641c1 |
parent 44743 | 6b917e5877d2 |
child 44770 | 60ef6abb2f92 |
1.1 --- a/NEWS Sun Jul 17 20:57:56 2011 +0200 1.2 +++ b/NEWS Sun Jul 17 22:24:08 2011 +0200 1.3 @@ -71,6 +71,10 @@ 1.4 le_SUPI ~> le_SUP_I 1.5 le_SUPI2 ~> le_SUP_I2 1.6 le_INFI ~> le_INF_I 1.7 + INFI_bool_eq ~> INF_bool_eq 1.8 + SUPR_bool_eq ~> SUP_bool_eq 1.9 + INFI_apply ~> INF_apply 1.10 + SUPR_apply ~> SUP_apply 1.11 INCOMPATIBILITY. 1.12 1.13 * Archimedian_Field.thy: