| Sat, 10 Oct 2015 22:19:06 +0200 | wenzelm | tuned syntax -- more symbols; | file | diff | annotate |
| Sat, 13 Mar 2010 16:44:12 +0100 | wenzelm | removed old CVS Ids; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Fri, 06 Jul 2001 16:04:32 +0200 | paulson | two Isar tactic scripts | file | diff | annotate |