Quot/quotient_info.ML
changeset 762 baac4639ecef
parent 760 c1989de100b4
child 777 2f72662d21f3
equal deleted inserted replaced
761:e2ac18492c68 762:baac4639ecef
   260      IdSimps.setup #>
   260      IdSimps.setup #>
   261      QuotientRules.setup))
   261      QuotientRules.setup))
   262 
   262 
   263 end; (* structure *)
   263 end; (* structure *)
   264 
   264 
   265 open Quotient_Info