| Fri, 26 Jun 2015 18:51:19 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Fri, 26 Jun 2015 15:55:44 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Fri, 26 Jun 2015 14:53:15 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Fri, 26 Jun 2015 11:44:22 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Fri, 27 Mar 2015 17:46:08 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 24 Mar 2015 21:54:25 +0100 | wenzelm | clarified case_tac fixes and context; | file | diff | annotate |