Quot/quotient_info.ML
2009-12-08 Christian Urban changed names of attributes
2009-12-08 Christian Urban added a thm list for ids
less more (0) -2 tip