src/HOL/Library/Library.thy
changeset 26173 5cac519abe4e
parent 26170 66e6b967ccf1
child 26192 52617dca8386
     1.1 --- a/src/HOL/Library/Library.thy	Thu Feb 28 00:04:47 2008 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Thu Feb 28 00:11:28 2008 +0100
     1.3 @@ -25,7 +25,7 @@
     1.4    GCD
     1.5    Imperative_HOL
     1.6    Infinite_Set
     1.7 -  ListSpace
     1.8 +  ListVector
     1.9    Multiset
    1.10    NatPair
    1.11    Nat_Infinity