quotient.ML
Tue, 24 Nov 2009 15:31:29 +0100 Christian Urban use error instead of raising our own exception
Mon, 23 Nov 2009 23:09:03 +0100 Christian Urban fixed the error by a temporary fix (the data of the eqivalence relation should be only its name)
less more (0) -30 -10 -2 tip