src/HOL/Data_Structures/Tree234_Map.thy
changeset 62130 90a3016a6c12
parent 61790 0494964bb226
child 63411 e051eea34990
     1.1 --- a/src/HOL/Data_Structures/Tree234_Map.thy	Mon Jan 11 18:27:27 2016 +0100
     1.2 +++ b/src/HOL/Data_Structures/Tree234_Map.thy	Mon Jan 11 20:51:13 2016 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  (* Author: Tobias Nipkow *)
     1.5  
     1.6 -section \<open>A 2-3-4 Tree Implementation of Maps\<close>
     1.7 +section \<open>2-3-4 Tree Implementation of Maps\<close>
     1.8  
     1.9  theory Tree234_Map
    1.10  imports