| Sat, 13 Jul 2013 12:38:40 +0200 | smolkas | tuned | changeset | files |
| Fri, 12 Jul 2013 22:41:25 +0200 | smolkas | added sledgehammer parameters isar_try0 and isar_minimize and their negative aliases | changeset | files |
| Fri, 12 Jul 2013 21:14:54 +0200 | wenzelm | merged | changeset | files |
| Fri, 12 Jul 2013 21:13:57 +0200 | wenzelm | more robust proof export / import due to Stefan Berghofer; | changeset | files |