src/ZF/Perm.thy
Wed, 21 Aug 2002 15:57:24 +0200 paulson tweaks
Sun, 14 Jul 2002 19:59:55 +0200 paulson Removal of mono.thy
Sun, 14 Jul 2002 15:14:43 +0200 paulson improved presentation markup
Tue, 02 Jul 2002 13:28:08 +0200 paulson Tidying and introduction of various new theorems
Tue, 28 May 2002 11:07:36 +0200 paulson deleted some useless ML bindings
Fri, 24 May 2002 16:56:25 +0200 paulson tidied; stronger lemmas about functions
Fri, 24 May 2002 13:15:37 +0200 paulson conversion of Perm to Isar. Strengthening of comp_fun_apply
Thu, 10 Aug 2000 11:27:34 +0200 paulson installation of cancellation simprocs for the integers
Fri, 03 Jan 1997 15:01:55 +0100 paulson Implicit simpsets and clasets for FOL and ZF
Mon, 17 Jun 1996 16:50:08 +0200 paulson Converted to use constdefs instead of defs
Tue, 06 Feb 1996 12:27:17 +0100 clasohm expanded tabs
Sat, 09 Dec 1995 13:36:11 +0100 clasohm removed quotes from consts and syntax sections
Thu, 22 Jun 1995 17:13:05 +0200 clasohm removed \...\ inside strings
Tue, 29 Nov 1994 00:31:31 +0100 lcp replaced "rules" by "defs"
Tue, 16 Nov 1993 14:24:21 +0100 clasohm made pseudo theories for all ML files;
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip