| Thu, 30 May 2013 13:20:04 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 30 May 2013 13:07:23 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 30 May 2013 12:56:25 +0200 | wenzelm | stay within regular tactic language -- avoid operating on whole proof state; | changeset | files |