| Mon, 21 Sep 2015 15:07:23 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 21 Sep 2015 14:56:55 +0200 | wenzelm | separate panel for proof state output; | changeset | files |
| 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 |