# HG changeset patch
# User haftmann
# Date 1524579477 0
# Node ID 64559e1ca05b652b6d73aa9a768a93d69f08f016
# Parent  a8ee8e4884ecbf697f1b36c6b3a80207dee956bf
corrected nonsense

diff -r a8ee8e4884ec -r 64559e1ca05b CONTRIBUTORS
--- 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.
 
diff -r a8ee8e4884ec -r 64559e1ca05b NEWS
--- 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: