NEWS
changeset 43873 8a2f339641c1
parent 43872 6b917e5877d2
child 43899 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: