Mon, 29 Nov 2010 22:47:55 +0100 | haftmann | reorienting iff in Quotient_rel prevents simplifier looping; | changeset | files |
Mon, 29 Nov 2010 22:41:17 +0100 | haftmann | replaced slightly odd locale congruent2 by plain definition | changeset | files |
Mon, 29 Nov 2010 22:32:06 +0100 | haftmann | replaced slightly odd locale congruent by plain definition | changeset | files |