src/HOL/Library/Library.thy
changeset 23192 ec73b9707d48
parent 23100 1c84d7294d5b
child 23854 688a8a7bcd4e
     1.1 --- a/src/HOL/Library/Library.thy	Fri Jun 01 20:34:12 2007 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Fri Jun 01 22:09:16 2007 +0200
     1.3 @@ -17,7 +17,6 @@
     1.4    FuncSet
     1.5    GCD
     1.6    Infinite_Set
     1.7 -  List_Comprehension
     1.8    MLString
     1.9    Multiset
    1.10    NatPair