src/HOL/ROOT
changeset 61789 9ce1a397410a
parent 61784 21b34a2269e5
child 61793 4c9e1e5a240e
     1.1 --- a/src/HOL/ROOT	Fri Dec 04 22:19:04 2015 +0100
     1.2 +++ b/src/HOL/ROOT	Sat Dec 05 16:13:28 2015 +0100
     1.3 @@ -178,7 +178,7 @@
     1.4      RBT_Map
     1.5      Tree23_Map
     1.6      Tree234_Map
     1.7 -    Brother12_Set
     1.8 +    Brother12_Map
     1.9      Splay_Map
    1.10    document_files "root.tex" "root.bib"
    1.11