>>24467260You're probably thinking of the Randomhouse books, the 4 I mentioned are the main books and have always struck me more as a worldbuilding project than "pulp adventure," though ofc there's adventure in them like almost all children's books. Pretty much dinosaur Atlantis except it functioned as an ark during the K-T extinction and now everyone except the carnivores are commie pacifist vegans.