src/HOL/Library/ListVector.thy
2008-06-10 haftmann 2008-06-10 more instantiation
2008-02-27 nipkow 2008-02-27 Renamed ListSpace to ListVector