Thu, 29 Oct 2009 11:41:39 +0100 | haftmann | join entries properly on theory merge | changeset | files |
Thu, 29 Oct 2009 11:41:38 +0100 | haftmann | moved some dvd [int] facts to Int | changeset | files |
Thu, 29 Oct 2009 11:41:37 +0100 | haftmann | moved algebraic classes to Ring_and_Field | changeset | files |