renamed ListSpace to ListVector;
authorwenzelm
Thu Feb 28 00:11:28 2008 +0100 (2008-02-28)
changeset 261735cac519abe4e
parent 26172 fa302c5bc2f2
child 26174 9efd4c04eaa4
renamed ListSpace to ListVector;
src/HOL/Library/Library.thy
     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