| Mon, 21 Sep 2015 14:56:10 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 21 Sep 2015 13:53:35 +0200 | wenzelm | more specific name to reduce danger of clash with direct uses of plain Command.print_function; | changeset | files |
| Mon, 21 Sep 2015 11:45:03 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 21 Sep 2015 19:52:13 +0100 | paulson | new lemmas and movement of lemmas into place | changeset | files |