src/HOL/Library/Library.thy
changeset 23100 1c84d7294d5b
parent 22981 cf071f3fc4ae
child 23192 ec73b9707d48
     1.1 --- a/src/HOL/Library/Library.thy	Fri May 25 06:06:49 2007 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Fri May 25 18:08:34 2007 +0200
     1.3 @@ -17,6 +17,7 @@
     1.4    FuncSet
     1.5    GCD
     1.6    Infinite_Set
     1.7 +  List_Comprehension
     1.8    MLString
     1.9    Multiset
    1.10    NatPair