src/HOL/Library/Library.thy
changeset 57250 cddaf5b93728
parent 57112 70395c65c0e3
child 57998 8b7508f848ef
     1.1 --- a/src/HOL/Library/Library.thy	Thu Jun 12 18:02:39 2014 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Thu Jun 12 21:23:28 2014 +0200
     1.3 @@ -64,6 +64,7 @@
     1.4    Sublist
     1.5    Sum_of_Squares
     1.6    Transitive_Closure_Table
     1.7 +  Tree
     1.8    While_Combinator
     1.9  begin
    1.10  end