src/HOL/Library/Library.thy
changeset 59813 6320064f22bb
parent 58810 922a233805d2
child 59928 b9b7f913a19a
     1.1 --- a/src/HOL/Library/Library.thy	Wed Mar 25 14:39:40 2015 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Wed Mar 25 17:51:34 2015 +0100
     1.3 @@ -42,7 +42,7 @@
     1.4    Mapping
     1.5    Monad_Syntax
     1.6    More_List
     1.7 -  Multiset
     1.8 +  Multiset_Order
     1.9    Numeral_Type
    1.10    NthRoot_Limits
    1.11    OptionalSugar