src/FOL/ROOT.ML
Thu, 13 Aug 1998 17:29:18 +0200 paulson Blast_tac is faster
Thu, 30 Jul 1998 19:02:52 +0200 wenzelm functorized Clasimp module;
Tue, 23 Dec 1997 11:39:03 +0100 paulson Better equality handling in Blast_tac, usingd a new variant of hyp_subst_tac
Wed, 03 Dec 1997 10:48:16 +0100 paulson Instantiated the one-point-rule quantifier simpprocs for FOL
Wed, 12 Nov 1997 18:58:50 +0100 oheimb added thin_refl to hyp_subst_tac
Wed, 12 Nov 1997 16:28:53 +0100 wenzelm refer to $ISABELLE_HOME/src;
Thu, 06 Nov 1997 10:29:37 +0100 paulson hyp_subst_tac checks if the equality has type variables and uses a suitable
Mon, 03 Nov 1997 12:28:45 +0100 wenzelm moved cladata.ML, simpdata.ML to ROOT.ML;
Tue, 28 Oct 1997 17:41:15 +0100 wenzelm do not change global_names flag;
Mon, 20 Oct 1997 12:50:18 +0200 wenzelm reset global_names;
Fri, 25 Jul 1997 13:18:45 +0200 wenzelm load simplifier.ML (again);
Wed, 09 Jul 1997 17:00:34 +0200 wenzelm removed obsolete init_pps and init_thy_reader;
Wed, 02 Apr 1997 15:18:21 +0200 paulson Now loads blast.ML
Fri, 03 Jan 1997 15:01:55 +0100 paulson Implicit simpsets and clasets for FOL and ZF
Wed, 27 Nov 1996 10:36:38 +0100 paulson Replaced obsolete "use" command
Wed, 28 Feb 1996 11:46:08 +0100 paulson changed prove_goal to qed_goal
Mon, 29 Jan 1996 13:58:15 +0100 clasohm expanded tabs
Tue, 21 Nov 1995 13:40:36 +0100 clasohm removed make_chart from ROOT.ML;
Tue, 24 Oct 1995 14:50:24 +0100 clasohm added calls of init_html and make_chart
Wed, 04 Oct 1995 13:01:05 +0100 clasohm removed command for loading Provers/simplifier.ML (now done in Pure/Thy/ROOT)
Thu, 06 Apr 1995 11:02:55 +0200 lcp Set up for new hyp_subst_tac.
Thu, 24 Nov 1994 00:30:35 +0100 lcp trivial changes
Mon, 31 Oct 1994 17:09:10 +0100 lcp FOL/ROOT/FOL_dup_cs: removed as obsolete
Thu, 19 May 1994 17:06:24 +0200 wenzelm thy reader now initialised by init_thy_reader();
Tue, 16 Nov 1993 14:10:19 +0100 clasohm changed use_thy's parameter to exact theory name
Tue, 09 Nov 1993 13:21:41 +0100 clasohm renamed int-prover.ML to intprover.ML,
Fri, 22 Oct 1993 13:35:15 +0100 clasohm changes for new Readthy
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip