Those patent cases are in federal court and so will be part of the Federal collection, not the Texas collection. The Texas collection is decisions of the Texas state courts, not Federal courts that are located in Texas.