src/HOL/Library/Library.thy
changeset 58810 922a233805d2
parent 58627 1329679abb2d
child 59813 6320064f22bb
     1.1 --- a/src/HOL/Library/Library.thy	Wed Oct 29 09:42:46 2014 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Wed Oct 29 10:35:00 2014 +0100
     1.3 @@ -38,7 +38,7 @@
     1.4    Lattice_Constructions
     1.5    Linear_Temporal_Logic_on_Streams
     1.6    ListVector
     1.7 -  Lubs_Glbs
     1.8 +  Lub_Glb
     1.9    Mapping
    1.10    Monad_Syntax
    1.11    More_List