src/HOL/Library/Library.thy
changeset 61178 0b071f72f330
parent 60727 53697011b03a
child 61766 507b39df1a57
     1.1 --- a/src/HOL/Library/Library.thy	Mon Sep 14 21:39:24 2015 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Tue Sep 15 11:18:25 2015 +0200
     1.3 @@ -45,6 +45,7 @@
     1.4    More_List
     1.5    Multiset_Order
     1.6    Numeral_Type
     1.7 +  Omega_Words_Fun
     1.8    OptionalSugar
     1.9    Option_ord
    1.10    Order_Continuity