| Wed, 01 Jun 2016 19:54:26 +0200 | wenzelm | NEWS; | changeset | files |
| Wed, 01 Jun 2016 19:23:18 +0200 | wenzelm | more adhoc overloading; | changeset | files |
| Wed, 01 Jun 2016 17:46:12 +0200 | wenzelm | clarified exception -- actually reject denominator = 0; | changeset | files |
| Wed, 01 Jun 2016 16:02:02 +0200 | wenzelm | ML pp for Rat.rat; | changeset | files |