Fri, 12 Jun 2015 08:53:23 +0200 | haftmann | standardized algebraic conventions: prefer a, b, c over x, y, z | changeset | files |
Fri, 12 Jun 2015 08:53:23 +0200 | haftmann | uniform _ div _ as infix syntax for ring division | changeset | files |
Thu, 11 Jun 2015 21:41:55 +0100 | paulson | fixed several "inside-out" proofs | changeset | files |