Mon, 27 Aug 2007 11:34:14 +0200 | haftmann | added explicit equation for equality of nested environments | changeset | files |
Mon, 27 Aug 2007 08:31:01 +0200 | haftmann | circumvented infix problem | changeset | files |
Sun, 26 Aug 2007 21:28:08 +0200 | nipkow | tuned linear arith (once again) with ring_distribs | changeset | files |