NEWS and CONTRIBUTORS
authorhaftmann
Fri Mar 23 10:52:00 2018 +0100 (14 months ago)
changeset 679287f5b1b6f7f40
parent 67927 0b70405b3969
child 67930 7dff1186daf3
NEWS and CONTRIBUTORS
CONTRIBUTORS
NEWS
     1.1 --- a/CONTRIBUTORS	Thu Mar 22 17:18:33 2018 +0100
     1.2 +++ b/CONTRIBUTORS	Fri Mar 23 10:52:00 2018 +0100
     1.3 @@ -6,6 +6,11 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* March 2018: Florian Haftmann
     1.8 +  Abstract bit operations push_bit, push_take, push_drop, alongside
     1.9 +  with an algebraic foundation for bit strings and word types in
    1.10 +  HOL-ex.
    1.11 +
    1.12  * March 2018: Viorel Preoteasa
    1.13    Generalisation of complete_distrib_lattice
    1.14  
     2.1 --- a/NEWS	Thu Mar 22 17:18:33 2018 +0100
     2.2 +++ b/NEWS	Fri Mar 23 10:52:00 2018 +0100
     2.3 @@ -194,6 +194,9 @@
     2.4  
     2.5  *** HOL ***
     2.6  
     2.7 +* Abstract bit operations as part of Main: push_bit, push_take,
     2.8 +push_drop.
     2.9 +
    2.10  * New, more general, axiomatization of complete_distrib_lattice. 
    2.11  The former axioms:
    2.12  "sup x (Inf X) = Inf (sup x ` X)" and "inf x (Sup X) = Sup (inf x ` X)"