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 |