| Thu, 02 Sep 2010 17:12:16 +0200 | wenzelm | just one refute.ML; | changeset | files |
| Thu, 02 Sep 2010 16:45:21 +0200 | wenzelm | use existing Integer.pow, despite its slightly odd argument order; | changeset | files |
| Thu, 02 Sep 2010 16:31:50 +0200 | wenzelm | tuned whitespace and indentation, emphasizing the logical structure of this long text; | changeset | files |