src/HOL/Library/Library.thy
changeset 44561 73f84bf0c6ac
parent 44236 b73b7832b384
child 44818 27ba81ad0890
     1.1 --- a/src/HOL/Library/Library.thy	Sun Aug 28 08:12:54 2011 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Sun Aug 28 08:13:30 2011 +0200
     1.3 @@ -31,7 +31,6 @@
     1.4    Lattice_Algebras
     1.5    Lattice_Syntax
     1.6    ListVector
     1.7 -  List_Cset
     1.8    Kleene_Algebra
     1.9    Mapping
    1.10    Monad_Syntax