src/HOL/Tools/res_clause.ML
Tue, 04 Oct 2005 09:58:38 +0200 paulson reset clause counter
Tue, 20 Sep 2005 18:43:39 +0200 paulson tidying, and support for axclass/classrel clauses
Thu, 15 Sep 2005 17:46:00 +0200 paulson massive tidy-up and simplification
Thu, 15 Sep 2005 17:16:56 +0200 wenzelm TableFun/Symtab: curried lookup and update;
Thu, 15 Sep 2005 11:15:52 +0200 paulson the experimental tagging system, and the usual tidying
Wed, 14 Sep 2005 10:20:50 +0200 paulson nice names for more infix operators
Fri, 09 Sep 2005 17:47:37 +0200 paulson Isabelle-ATP link: sortable axiom names; no spaces in switches; general tidying
Thu, 08 Sep 2005 13:24:19 +0200 paulson yet more tidying of Isabelle-ATP link
Wed, 07 Sep 2005 09:54:31 +0200 paulson axioms now included in tptp files, no /bin/cat and various tidying
Mon, 05 Sep 2005 17:38:18 +0200 wenzelm curried_lookup/update;
Fri, 02 Sep 2005 17:55:24 +0200 paulson further tidying up of Isabelle-ATP link
Fri, 02 Sep 2005 15:25:27 +0200 paulson fixed arities and restored changes that had gone missing
Fri, 26 Aug 2005 19:36:07 +0200 quigley DFG output now works for untyped rules (ML "ResClause.untyped();")
Mon, 01 Aug 2005 19:20:30 +0200 wenzelm Defs.monomorphic;
Thu, 28 Jul 2005 17:54:22 +0200 paulson uniform treatment of variable prefixes
Wed, 27 Jul 2005 11:30:34 +0200 paulson simpler variable names, and no types for monomorphic constants
Fri, 22 Jul 2005 13:19:06 +0200 paulson streamlined the tptp output
Wed, 13 Jul 2005 15:05:48 +0200 paulson tidied
Mon, 11 Jul 2005 16:42:42 +0200 quigley Fixed some problems with the signal handler.
Thu, 07 Jul 2005 18:25:02 +0200 paulson inserted basic relevance-checking code, WHICH ONLY WORKS FOR 1ST SUBGOAL
Fri, 03 Jun 2005 12:41:28 +0200 paulson no longer emits literals for type class HOL.type; also minor tidying
Mon, 23 May 2005 00:18:51 +0200 quigley Moved some of the clausify functions from ATP/res_clasimpset.ML to res_axioms.ML.
Thu, 12 May 2005 18:24:42 +0200 paulson theorem names for caching
Tue, 19 Apr 2005 18:08:44 +0200 paulson more tidying of libraries in Reconstruction
Tue, 22 Mar 2005 16:30:43 +0100 paulson ensuring that "equal" is not a function
Tue, 15 Mar 2005 17:07:41 +0100 paulson more concise ASCII escaping
Mon, 14 Mar 2005 17:04:10 +0100 paulson bug fixes involving typechecking clauses
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Fri, 21 Jan 2005 18:00:18 +0100 paulson Jia Meng: delta simpsets and clasets
Thu, 09 Dec 2004 15:49:40 +0100 paulson Comments and other tweaks by Jia
Tue, 30 Nov 2004 18:25:55 +0100 paulson resolution package tools by Jia Meng
less more (0) tip