260 IdSimps.setup #>
261 QuotientRules.setup))
262
263 end; (* structure *)
264
265 open Quotient_Info