| changeset 62130 | 90a3016a6c12 |
| parent 61809 | 81d34cf268d8 |
| child 63411 | e051eea34990 |
--- a/src/HOL/Data_Structures/Brother12_Map.thy Mon Jan 11 18:27:27 2016 +0100 +++ b/src/HOL/Data_Structures/Brother12_Map.thy Mon Jan 11 20:51:13 2016 +0100 @@ -1,6 +1,6 @@ (* Author: Tobias Nipkow *) -section \<open>A 1-2 Brother Tree Implementation of Maps\<close> +section \<open>1-2 Brother Tree Implementation of Maps\<close> theory Brother12_Map imports