quotient_info.ML
2009-11-03 Christian Urban simplified the quotient_def code; type of the defined constant must now be given; for-part eliminated
2009-11-02 Christian Urban split quotient.ML into two files
less more (0) tip