| Sat, 13 Mar 2010 16:44:12 +0100 | wenzelm | removed old CVS Ids; | file | diff | annotate |
| Wed, 17 Aug 2005 15:10:00 +0200 | paulson | new examples | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Mon, 21 Jul 2003 13:02:07 +0200 | paulson | Tidied some examples | file | diff | annotate |
| Wed, 10 Jul 2002 16:54:07 +0200 | paulson | Fixed quantified variable name preservation for ball and bex (bounded quants) | file | diff | annotate |
| Fri, 06 Jul 2001 16:04:32 +0200 | paulson | two Isar tactic scripts | file | diff | annotate |