| Thu, 23 Jul 2015 14:25:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Tue, 11 Nov 2014 15:55:31 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Tue, 11 Nov 2014 13:40:13 +0100 | wenzelm | simplifie sessions; | file | diff | annotate |
| Tue, 11 Nov 2014 11:47:53 +0100 | wenzelm | more Isar proof methods; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Sat, 14 Jun 2008 23:19:51 +0200 | wenzelm | proper context for tactics derived from res_inst_tac; | file | diff | annotate |
| Thu, 01 Jun 2006 21:14:05 +0200 | wenzelm | removed obsolete ML files; | file | diff | annotate |
| Sat, 03 Sep 2005 17:54:10 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Fri, 08 May 1998 13:54:45 +0200 | wenzelm | proper thy files; | file | diff | annotate |