src/HOL/Library/Library.thy
changeset 52192 fce4a365f280
parent 51642 400ec5ae7f8f
child 53953 2f103a894ebe
     1.1 --- a/src/HOL/Library/Library.thy	Mon May 27 22:30:07 2013 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Mon May 27 22:32:28 2013 +0200
     1.3 @@ -41,6 +41,7 @@
     1.4    Numeral_Type
     1.5    OptionalSugar
     1.6    Option_ord
     1.7 +  Order_Union
     1.8    Parallel
     1.9    Permutation
    1.10    Permutations