quotient.ML
2009-11-23 Christian Urban fixed the error by a temporary fix (the data of the eqivalence relation should be only its name)
2009-11-22 Christian Urban updated to Isabelle 22nd November
2009-11-21 Christian Urban slight tuning
2009-11-21 Christian Urban simplified get_fun so that it uses directly rty and qty, instead of qenv
less more (0) -30 -10 -4 tip