quotient_info.ML
2009-12-06 Christian Urban added a theorem list for equivalence theorems
2009-12-04 Christian Urban not yet quite functional treatment of constants
2009-12-03 Christian Urban removed quot argument...not all examples work anymore
less more (0) -10 -3 tip