src/HOL/Library/ListVector.thy
2008-02-27 nipkow 2008-02-27 Renamed ListSpace to ListVector