--- a/CONTRIBUTORS Tue Apr 24 11:07:18 2018 +0200
+++ b/CONTRIBUTORS Tue Apr 24 14:17:57 2018 +0000
@@ -7,7 +7,7 @@
--------------------------------------
* March 2018: Florian Haftmann
- Abstract bit operations push_bit, push_take, push_drop, alongside
+ Abstract bit operations push_bit, take_bit, drop_bit, alongside
with an algebraic foundation for bit strings and word types in
HOL-ex.
--- a/NEWS Tue Apr 24 11:07:18 2018 +0200
+++ b/NEWS Tue Apr 24 14:17:57 2018 +0000
@@ -196,8 +196,8 @@
*** HOL ***
-* Abstract bit operations as part of Main: push_bit, push_take,
-push_drop.
+* Abstract bit operations as part of Main: push_bit, take_bit,
+drop_bit.
* New, more general, axiomatization of complete_distrib_lattice.
The former axioms: