src/HOL/ROOT
changeset 61784 21b34a2269e5
parent 61745 e23e0ff98657
child 61789 9ce1a397410a
     1.1 --- a/src/HOL/ROOT	Thu Dec 03 15:33:01 2015 +0100
     1.2 +++ b/src/HOL/ROOT	Fri Dec 04 14:39:31 2015 +0100
     1.3 @@ -178,6 +178,7 @@
     1.4      RBT_Map
     1.5      Tree23_Map
     1.6      Tree234_Map
     1.7 +    Brother12_Set
     1.8      Splay_Map
     1.9    document_files "root.tex" "root.bib"
    1.10