Wed, 08 Dec 2010 16:47:57 +0100 | haftmann | merged | changeset | files |
Wed, 08 Dec 2010 16:47:45 +0100 | haftmann | work around problems with eta-expansion of equations | changeset | files |
Wed, 08 Dec 2010 15:05:46 +0100 | haftmann | bot comes before top, inf before sup etc. | changeset | files |