| Wed, 01 Jun 2016 15:01:43 +0200 | wenzelm | support rat numerals via special antiquotation syntax; | changeset | files |
| Wed, 01 Jun 2016 10:59:57 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 01 Jun 2016 10:55:10 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 01 Jun 2016 10:45:35 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 31 May 2016 23:06:03 +0200 | wenzelm | maintain invariant for exported operation; | changeset | files |
| Tue, 31 May 2016 22:39:28 +0200 | wenzelm | prefer more efficient Poly/ML operations, taking care of sign; | changeset | files |