src/HOL/Tools/meson.ML
Tue, 08 Aug 2006 18:40:20 +0200 paulson more explict variable names
Wed, 02 Aug 2006 22:26:40 +0200 wenzelm simplified Assumption/ProofContext.export;
Sun, 16 Jul 2006 14:26:22 +0200 paulson has_consts renamed to has_conn, now actually parses the first-order formula
Thu, 13 Jul 2006 12:31:00 +0200 paulson fix to refl_clause_aux: added occurs check
Tue, 11 Jul 2006 12:16:58 +0200 wenzelm removed obsolete mem_term;
Wed, 05 Jul 2006 16:24:28 +0200 paulson removed the "tagging" feature
Thu, 15 Jun 2006 17:50:47 +0200 paulson the "all_theorems" option and some fixes
Tue, 13 Jun 2006 23:41:37 +0200 wenzelm avoid unqualified exception names;
Fri, 26 May 2006 22:20:02 +0200 wenzelm freeze_spec: gensym;
Tue, 07 Mar 2006 16:45:04 +0100 paulson Tidying, and getting rid of SELECT_GOAL (as it does something different now)
Tue, 28 Feb 2006 11:09:29 +0100 paulson fixed but in freeze_spec
Mon, 20 Feb 2006 16:22:52 +0100 paulson Fix variable-naming bug (?) by removing a needless recursive call
Wed, 15 Feb 2006 21:34:55 +0100 wenzelm removed distinct, renamed gen_distinct to distinct;
Sat, 28 Jan 2006 17:28:51 +0100 wenzelm LocalDefs.def_export;
Mon, 23 Jan 2006 11:38:43 +0100 paulson Clausification now handles some IFs in rewrite rules (if-split did not work)
Thu, 19 Jan 2006 21:22:08 +0100 wenzelm setup: theory -> theory;
Sat, 14 Jan 2006 17:14:13 +0100 wenzelm Output.debug;
Fri, 13 Jan 2006 01:12:58 +0100 wenzelm ProofContext.def_export;
Fri, 23 Dec 2005 17:34:46 +0100 paulson tidied
Wed, 14 Dec 2005 16:14:26 +0100 paulson removal of some redundancies (e.g. one-point-rules) in clause production
Tue, 13 Dec 2005 15:27:43 +0100 paulson removal of functional reflexivity axioms
Fri, 18 Nov 2005 07:05:11 +0100 mengj -- removed "check_is_fol" from "make_nnf" so that the NNF procedure doesn't check whether a thm is FOL.
Wed, 16 Nov 2005 15:29:23 +0100 paulson new version of "tryres" allowing multiple unifiers (apparently needed for
Wed, 09 Nov 2005 18:01:33 +0100 paulson Skolemization by inference, but not quite finished
Fri, 28 Oct 2005 22:27:51 +0200 wenzelm renamed Goal constant to prop;
Fri, 14 Oct 2005 15:34:56 +0200 paulson signature changes
Thu, 29 Sep 2005 12:44:25 +0200 paulson moved concat_with_and to watcher.ML
Thu, 15 Sep 2005 11:15:52 +0200 paulson the experimental tagging system, and the usual tidying
Wed, 13 Jul 2005 16:07:22 +0200 wenzelm tuned concat_with_and;
Tue, 28 Jun 2005 15:28:04 +0200 paulson stricter first-order check for meson
less more (0) -50 -30 tip