| Sun, 19 Jul 2015 00:03:10 +0200 | wenzelm | more symbols; | changeset | files |
| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| Sat, 18 Jul 2015 21:44:18 +0200 | wenzelm | prefer tactics with explicit context; | changeset | files |
| Sat, 18 Jul 2015 21:25:55 +0200 | wenzelm | prefer tactics with explicit context; | changeset | files |
| Sat, 18 Jul 2015 20:59:51 +0200 | wenzelm | merged | changeset | files |
| Sat, 18 Jul 2015 20:54:56 +0200 | wenzelm | prefer tactics with explicit context; | changeset | files |
| Sat, 18 Jul 2015 20:53:05 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 18 Jul 2015 20:47:08 +0200 | wenzelm | prefer tactics with explicit context; | changeset | files |