| Mon, 22 Jun 2015 18:55:47 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 22 Jun 2015 17:44:43 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 22 Jun 2015 16:48:27 +0200 | wenzelm | clarified nesting of Isar goal structure; | changeset | files |
| Mon, 22 Jun 2015 11:35:30 +0200 | wenzelm | tuned; | changeset | files |