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 |