| 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 |
| Wed, 01 Jun 2016 15:33:45 +0200 | wenzelm | clarified string_of_rat operations; | changeset | files |