src/ZF/equalities.ML
Fri, 15 Feb 2002 12:07:27 +0100 paulson a new definition of "restrict"
Thu, 15 Nov 2001 17:59:56 +0100 paulson miniscoping of UN and INT
Fri, 05 Oct 2001 21:37:33 +0200 wenzelm sane spacing of "-";
Thu, 07 Sep 2000 21:12:49 +0200 wenzelm tuned ML code (the_context, bind_thms(s));
Thu, 13 Jul 2000 13:02:20 +0200 paulson fixed a failing proof
Wed, 28 Jun 2000 12:34:08 +0200 paulson tidying and unbatchifying
Wed, 03 Mar 1999 10:36:24 +0100 paulson expandshort
Mon, 22 Feb 1999 10:19:32 +0100 paulson new theorems Pow_0 and Pow_insert; renamed other Pow theorems
Thu, 07 Jan 1999 10:56:05 +0100 paulson if-then-else syntax for ZF
Mon, 17 Aug 1998 13:09:08 +0200 paulson Yet more removal of "goal" commands, especially "goal ZF.thy", so ZF.thy
Fri, 14 Aug 1998 18:37:28 +0200 paulson got rid of some goal thy commands
Wed, 15 Jul 1998 14:13:18 +0200 paulson More tidying and removal of "\!\!... from Goal commands
Thu, 02 Jul 1998 17:58:12 +0200 paulson Renamed expand_if to split_if and setloop split_tac to addsplits,
Mon, 22 Jun 1998 17:12:27 +0200 wenzelm isatool fixgoal;
Tue, 28 Apr 1998 13:51:39 +0200 paulson new thms image_0_left, image_Un_left, etc.
less more (0) -15 tip