src/ZF/ex/misc.thy
Wed, 17 Aug 2005 15:10:00 +0200 paulson new examples
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Mon, 21 Jul 2003 13:02:07 +0200 paulson Tidied some examples
Wed, 10 Jul 2002 16:54:07 +0200 paulson Fixed quantified variable name preservation for ball and bex (bounded quants)
Fri, 06 Jul 2001 16:04:32 +0200 paulson two Isar tactic scripts
less more (0) tip