consider base sorts of superclasses simultaneously during processing of class specification -- avoids clash of different base sorts
(* Title: HOL/Quotient_Examples/ROOT.ML
Author: Cezary Kaliszyk and Christian Urban
Testing the quotient package.
*)
use_thys ["FSet", "Quotient_Int", "Quotient_Message"];