proper inclusion into library
authorhaftmann
Sat Apr 05 10:01:07 2014 +0200 (2014-04-05)
changeset 56415f61a0f7cbde5
parent 56414 c1bbd3e22226
child 56416 b9baecff0684
proper inclusion into library
src/HOL/Library/Library.thy
     1.1 --- a/src/HOL/Library/Library.thy	Sat Apr 05 01:04:46 2014 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Sat Apr 05 10:01:07 2014 +0200
     1.3 @@ -33,6 +33,7 @@
     1.4    Lattice_Algebras
     1.5    Lattice_Syntax
     1.6    ListVector
     1.7 +  Lubs_Glbs
     1.8    Kleene_Algebra
     1.9    Mapping
    1.10    Monad_Syntax