Propose a method to list all files in a directory with a .txt file extension, using the provided directory contents.