src/FOL/FOL.thy
Thu, 07 Sep 2000 20:47:34 +0200 wenzelm setup Rulify.setup;
Tue, 29 Aug 2000 00:55:31 +0200 wenzelm cong setup now part of Simplifier;
Fri, 04 Aug 2000 22:54:49 +0200 wenzelm lemmas atomize = all_eq imp_eq;
Tue, 01 Aug 2000 11:58:14 +0200 wenzelm improved comments;
Fri, 31 Mar 2000 22:22:23 +0200 wenzelm added cong atts;
Wed, 15 Mar 2000 18:42:13 +0100 wenzelm splitter setup;
Wed, 25 Aug 1999 20:45:19 +0200 wenzelm proper bootstrap of IFOL/FOL theories and packages;
Mon, 16 Nov 1998 11:11:42 +0100 wenzelm attrib_setup;
Wed, 29 Apr 1998 11:29:39 +0200 wenzelm tuned setup;
Sat, 04 Apr 1998 12:28:39 +0200 wenzelm replaced thy_data by thy_setup;
Mon, 03 Nov 1997 12:26:58 +0100 wenzelm added claset thy_data;
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip