src/ZF/ZF.thy
Thu, 16 Oct 1997 15:33:06 +0200 wenzelm global;
Fri, 10 Oct 1997 18:23:31 +0200 wenzelm fixed dots;
Mon, 22 Sep 1997 17:31:57 +0200 wenzelm tuned pattern syntax;
Tue, 29 Apr 1997 17:38:02 +0200 wenzelm deactivated new symbols (not yet printable on xterm, emacs);
Tue, 29 Apr 1997 17:13:41 +0200 wenzelm added \<langle>, \<rangle> symbols syntax;
Wed, 02 Apr 1997 15:28:42 +0200 paulson Moved definitions (binary intersection, etc.) from upair.thy back to ZF.thy
Thu, 23 Jan 1997 12:42:07 +0100 wenzelm added symbols syntax;
Fri, 03 Jan 1997 15:01:55 +0100 paulson Implicit simpsets and clasets for FOL and ZF
Mon, 02 Dec 1996 10:22:41 +0100 wenzelm removed out-dated comment;
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
Wed, 10 May 1995 08:38:52 +0200 nipkow Modified translation for pattern abstraction.
Thu, 04 May 1995 02:00:38 +0200 lcp Added pattern-matching code from CHOL/Prod.thy. Changed
Thu, 03 Nov 1994 12:35:41 +0100 lcp ZF: NEW DEFINITION OF PI(A,B)
Mon, 31 Oct 1994 18:15:24 +0100 lcp ZF/ZF.thy: added precedences to @RepFun to disambiguate phrases like {x:A.x:B}
Wed, 12 Oct 1994 11:09:11 +0100 wenzelm fixed infix names in print_translations;
Wed, 21 Sep 1994 15:39:02 +0200 wenzelm minor cleanup, added 'syntax' section;
Fri, 12 Aug 1994 12:51:34 +0200 lcp installation of new inductive/datatype sections
Tue, 26 Jul 1994 13:44:42 +0200 lcp Axiom of choice, cardinality results, etc.
Tue, 03 May 1994 11:28:51 +0200 lcp removal of obsolete type-declaration syntax
Mon, 25 Oct 1993 12:42:33 +0100 wenzelm added white-space;
Mon, 11 Oct 1993 12:35:00 +0100 wenzelm "The" now a binder, removed translation;
Thu, 07 Oct 1993 10:48:16 +0100 lcp added ~: for "not in"
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip