HOL,ZF/Makefile: enclosed multiple "use" calls in parentheses.  This ensures that if one dies, all die.  BUT NOT Pure/Makefile, where PolyML.use"POLY" makes the identifier "use" visible.
HOL,ZF/Makefile: enclosed multiple "use" calls in parentheses.  This
ensures that if one dies, all die.  BUT NOT Pure/Makefile, where
PolyML.use"POLY" makes the identifier "use" visible.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle