src/ZF/Rel.ML
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
Mon, 13 Jul 1998 16:43:57 +0200 paulson Huge tidy-up: removal of leading \!\!
Mon, 22 Jun 1998 17:12:27 +0200 wenzelm isatool fixgoal;
Wed, 23 Apr 1997 10:54:22 +0200 paulson Conversion to use blast_tac
Fri, 03 Jan 1997 15:01:55 +0100 paulson Implicit simpsets and clasets for FOL and ZF
Tue, 30 Jan 1996 13:42:57 +0100 clasohm expanded tabs
Wed, 07 Dec 1994 13:12:04 +0100 clasohm added qed and qed_goal[w]
Tue, 21 Jun 1994 17:20:34 +0200 lcp Addition of cardinals and order types, various tidying
less more (0) tip