I think the only zoo I've seen turtles mixed with dwarf crocodiles is the San Antonio Zoo (with West African mud turtles). St. Augustine had them mixed with several other species of crocodile, alligator, and caiman, San Antonio had them with fish as well, and Fort Worth has them with fish and a tree frog (that nobody I know has seen). But beyond that, I've never seen them mixed with anything. I wonder why (compared to several other species of crocodilians) they're mixed so infrequently?
I can never seem to find the mud turtles at SA zoo, I always thought they removed them but I may be wrong. New exhibit for the crocs looks beautiful, but glare may be a problem.