src/HOL/Library/Library.thy
changeset 25899 f344ff9e2041
parent 25315 6ff4305d2f7c
child 26122 76cbf193c09d
     1.1 --- a/src/HOL/Library/Library.thy	Mon Jan 14 03:58:30 2008 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Jan 14 11:45:57 2008 +0100
     1.3 @@ -20,6 +20,7 @@
     1.4    FuncSet
     1.5    GCD
     1.6    Infinite_Set
     1.7 +  ListSpace
     1.8    Multiset
     1.9    NatPair
    1.10    Nat_Infinity