I can not say that I have used salt in a pond, but it is common practice. I used it a lot in my old aquarium days. IIRC, I would use a teaspoon of sea salt per gallon as a normal preventative measure, but would use a tablespoon per gallon if I was fighting an outbreak of some sort.
